arm64: Remove __flush_dcache_page()
authorCatalin Marinas <catalin.marinas@arm.com>
Wed, 1 May 2013 15:38:23 +0000 (16:38 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Fri, 7 Jun 2013 16:58:30 +0000 (17:58 +0100)
commitebd88367de80f9509bd30a09342d0a19c925b23e
tree32c41a487f3ccfd91fc532be216bf5db1234c5ff
parent7249b79f6b4cc3c2aa9138dca52e535a4c789107
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>
arch/arm64/include/asm/cacheflush.h
arch/arm64/mm/flush.c
arch/arm64/mm/mm.h