Searched refs:cf_idcache_wbinv_range (Results 1 – 1 of 1) sorted by relevance
133 void (*cf_idcache_wbinv_range) __P((vaddr_t, vsize_t)); member182 #define cpu_idcache_wbinv_range(a, s) cpufuncs.cf_idcache_wbinv_range((a), (s))