Symbol: clean_cache_range
arch/x86/lib/usercopy_64.c
140
clean_cache_range((void *) dest, size);
arch/x86/lib/usercopy_64.c
42
clean_cache_range(addr, size);
arch/x86/lib/usercopy_64.c
65
clean_cache_range(dst, size);
arch/x86/lib/usercopy_64.c
69
clean_cache_range(dst, 1);
arch/x86/lib/usercopy_64.c
74
clean_cache_range(dst + size - 1, 1);
arch/x86/lib/usercopy_64.c
90
clean_cache_range((void *) dest, len);