__inval_dcache_area   67 arch/arm64/include/asm/cacheflush.h extern void __inval_dcache_area(void *addr, size_t len);
__inval_dcache_area   91 arch/arm64/mm/flush.c 	__inval_dcache_area(addr, size);