Home | History | Annotate | Download | only in include

Lines Matching refs:vsize_t

147 void	tx3900_icache_sync_range_16(register_t, vsize_t);
151 void	tx3900_pdcache_inv_range_4(register_t, vsize_t);
152 void	tx3900_pdcache_wb_range_4(register_t, vsize_t);
155 void	tx3920_icache_sync_range_16wt(register_t, vsize_t);
156 void	tx3920_icache_sync_range_16wb(register_t, vsize_t);
160 void	tx3920_pdcache_wbinv_range_16wb(register_t, vsize_t);
162 void	tx3920_pdcache_inv_range_16(register_t, vsize_t);
163 void	tx3920_pdcache_wb_range_16wt(register_t, vsize_t);
164 void	tx3920_pdcache_wb_range_16wb(register_t, vsize_t);
166 void	tx3900_icache_do_inv_index_16(vaddr_t, vsize_t);
167 void	tx3920_icache_do_inv_16(register_t, vsize_t);