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