| commit | ebd88367de80f9509bd30a09342d0a19c925b23e | [log] [tgz] |
|---|---|---|
| author | Catalin Marinas <catalin.marinas@arm.com> | Wed May 01 16:38:23 2013 +0100 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Fri Jun 07 17:58:30 2013 +0100 |
| tree | 32c41a487f3ccfd91fc532be216bf5db1234c5ff | |
| parent | 7249b79f6b4cc3c2aa9138dca52e535a4c789107 [diff] |
arm64: Remove __flush_dcache_page() This function is only used in __sync_icache_dcache(), so remove it and call __flush_dcache_area() directly. The flush_icache_user_range() function is not used in the arm64 kernel. Signed-off-by: Catalin Marinas <catalin.marinas@arm.com> Reported-by: Will Deacon <will.deacon@arm.com> Acked-by: Will Deacon <will.deacon@arm.com>