Lines Matching refs:vsize_t
107 void ls2_icache_sync_range(register_t, vsize_t);
108 void ls2_icache_sync_range_index(vaddr_t, vsize_t);
111 void ls2_pdcache_wbinv_range(register_t, vsize_t);
112 void ls2_pdcache_wbinv_range_index(vaddr_t, vsize_t);
114 void ls2_pdcache_inv_range(register_t, vsize_t);
115 void ls2_pdcache_wb_range(register_t, vsize_t);
118 void ls2_sdcache_wbinv_range(register_t, vsize_t);
119 void ls2_sdcache_wbinv_range_index(vaddr_t, vsize_t);
121 void ls2_sdcache_inv_range(register_t, vsize_t);
122 void ls2_sdcache_wb_range(register_t, vsize_t);
Indexes created Mon Oct 27 08:10:08 GMT 2025