clflush_cache_range_opt  303 arch/x86/mm/pageattr.c 	clflush_cache_range_opt(vaddr, size);
clflush_cache_range_opt  375 arch/x86/mm/pageattr.c 			clflush_cache_range_opt((void *)fix_addr(addr), PAGE_SIZE);