diff options
author | Catalin Marinas | 2013-05-01 16:38:23 +0100 |
---|---|---|
committer | Catalin Marinas | 2013-06-07 17:58:30 +0100 |
commit | ebd88367de80f9509bd30a09342d0a19c925b23e (patch) | |
tree | 32c41a487f3ccfd91fc532be216bf5db1234c5ff /arch/arm64/mm/mm.h | |
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>
Diffstat (limited to 'arch/arm64/mm/mm.h')
-rw-r--r-- | arch/arm64/mm/mm.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/arm64/mm/mm.h b/arch/arm64/mm/mm.h index 916701e6d040..d519f4f50c8c 100644 --- a/arch/arm64/mm/mm.h +++ b/arch/arm64/mm/mm.h @@ -1,3 +1,2 @@ -extern void __flush_dcache_page(struct page *page); extern void __init bootmem_init(void); extern void __init arm64_swiotlb_init(void); |