Searched refs:cf_dcache_wb_range (Results 1 – 1 of 1) sorted by relevance
130 void (*cf_dcache_wb_range) __P((vaddr_t, vsize_t)); member179 #define cpu_dcache_wb_range(a, s) cpufuncs.cf_dcache_wb_range((a), (s))