__flush_cache_user_range   71 arch/arm64/include/asm/cacheflush.h extern long __flush_cache_user_range(unsigned long start, unsigned long end);
__flush_cache_user_range   44 arch/arm64/kernel/sys_compat.c 		ret = __flush_cache_user_range(start, start + chunk);