clflush_cache_range  201 arch/x86/mm/pageattr.c 			clflush_cache_range((void *) addr, PAGE_SIZE);
clflush_cache_range  236 arch/x86/mm/pageattr.c 			clflush_cache_range((void *) *addr, PAGE_SIZE);