ebd88367de
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>
2 lines
84 B
C
2 lines
84 B
C
extern void __init bootmem_init(void);
|
|
extern void __init arm64_swiotlb_init(void);
|