Lines Matching defs:va
70 tx3900_icache_sync_range_16(register_t va, vsize_t size) in tx3900_icache_sync_range_16()
96 vaddr_t va = MIPS_PHYS_TO_KSEG0(0); in tx3900_pdcache_wbinv_all_4() local
120 tx3900_pdcache_inv_range_4(register_t va, vsize_t size) in tx3900_pdcache_inv_range_4()
139 tx3900_pdcache_wb_range_4(register_t va, vsize_t size) in tx3900_pdcache_wb_range_4()
164 tx3920_icache_sync_range_16wt(register_t va, vsize_t size) in tx3920_icache_sync_range_16wt()
174 tx3920_icache_sync_range_16wb(register_t va, vsize_t size) in tx3920_icache_sync_range_16wb()
190 vaddr_t va = MIPS_PHYS_TO_KSEG0(0); in tx3920_pdcache_wbinv_all_16wt() local
208 vaddr_t va = MIPS_PHYS_TO_KSEG0(0); in tx3920_pdcache_wbinv_all_16wb() local
224 tx3920_pdcache_wbinv_range_16wb(register_t va, vsize_t size) in tx3920_pdcache_wbinv_range_16wb()
243 tx3920_pdcache_inv_range_16(register_t va, vsize_t size) in tx3920_pdcache_inv_range_16()
262 tx3920_pdcache_wb_range_16wt(register_t va, vsize_t size) in tx3920_pdcache_wb_range_16wt()
269 tx3920_pdcache_wb_range_16wb(register_t va, vsize_t size) in tx3920_pdcache_wb_range_16wb()