Searched refs:cache_wbinv_all (Results 1 – 2 of 2) sorted by relevance
25 void cache_wbinv_all(void);
118 void cache_wbinv_all(void) in cache_wbinv_all() function