Searched defs:cpu_cache_wbinval_page (Results 1 – 3 of 3) sorted by relevance
268 void cpu_cache_wbinval_page(unsigned long page, int flushi) in cpu_cache_wbinval_page() function