Searched refs:cf_dcache_wbinv_range (Results 1 – 1 of 1) sorted by relevance
128 void (*cf_dcache_wbinv_range) __P((vaddr_t, vsize_t)); member177 #define cpu_dcache_wbinv_range(a, s) cpufuncs.cf_dcache_wbinv_range((a), (s))