Symbol: clflush_cache_range_opt
arch/x86/mm/pat/set_memory.c
351
clflush_cache_range_opt(vaddr, size);
arch/x86/mm/pat/set_memory.c
469
clflush_cache_range_opt((void *)fix_addr(addr), PAGE_SIZE);