Lines Matching refs:vsize_t
129 void (*cf_icache_sync_range) (vaddr_t, vsize_t);
132 void (*cf_dcache_wbinv_range) (vaddr_t, vsize_t);
133 void (*cf_dcache_inv_range) (vaddr_t, vsize_t);
134 void (*cf_dcache_wb_range) (vaddr_t, vsize_t);
137 void (*cf_idcache_wbinv_range) (vaddr_t, vsize_t);
140 void (*cf_sdcache_wbinv_range) (vaddr_t, paddr_t, vsize_t);
141 void (*cf_sdcache_inv_range) (vaddr_t, paddr_t, vsize_t);
142 void (*cf_sdcache_wb_range) (vaddr_t, paddr_t, vsize_t);
243 void armv7_icache_sync_range (vaddr_t, vsize_t);
246 void armv7_dcache_wbinv_range (vaddr_t, vsize_t);
247 void armv7_dcache_inv_range (vaddr_t, vsize_t);
248 void armv7_dcache_wb_range (vaddr_t, vsize_t);
251 void armv7_idcache_wbinv_range (vaddr_t, vsize_t);