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);