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