Searched refs:clflush_cache_range_opt (Results 1 – 3 of 3) sorted by relevance
293 static void clflush_cache_range_opt(void *vaddr, unsigned int size) in clflush_cache_range_opt() function317 clflush_cache_range_opt(vaddr, size); in clflush_cache_range()391 clflush_cache_range_opt((void *)fix_addr(addr), PAGE_SIZE); in cpa_flush()