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