Searched defs:cpu_cache_wbinval_range (Results 1 – 2 of 2) sorted by relevance
331 void cpu_cache_wbinval_range(unsigned long start, unsigned long end, int flushi) in cpu_cache_wbinval_range() function
334 void cpu_cache_wbinval_range(unsigned long start, unsigned long end, int flushi) in cpu_cache_wbinval_range() function