Lines Matching defs:va
86 vaddr_t va = MIPS_PHYS_TO_KSEG0(0); in r10k_icache_sync_all() local
102 r10k_icache_sync_range(register_t va, vsize_t size) in r10k_icache_sync_range()
119 r10k_icache_sync_range_index(vaddr_t va, vsize_t size) in r10k_icache_sync_range_index()
162 vaddr_t va = MIPS_PHYS_TO_KSEG0(0); in r10k_pdcache_wbinv_all() local
174 r10k_pdcache_wbinv_range(register_t va, vsize_t size) in r10k_pdcache_wbinv_range()
187 r10k_pdcache_wbinv_range_index(vaddr_t va, vsize_t size) in r10k_pdcache_wbinv_range_index()
212 r10k_pdcache_inv_range(register_t va, vsize_t size) in r10k_pdcache_inv_range()
225 r10k_pdcache_wb_range(register_t va, vsize_t size) in r10k_pdcache_wb_range()
248 vaddr_t va = MIPS_PHYS_TO_KSEG0(0); in r10k_sdcache_wbinv_all() local
261 r10k_sdcache_wbinv_range(register_t va, vsize_t size) in r10k_sdcache_wbinv_range()
276 r10k_sdcache_wbinv_range_index(vaddr_t va, vsize_t size) in r10k_sdcache_wbinv_range_index()
302 r10k_sdcache_inv_range(register_t va, vsize_t size) in r10k_sdcache_inv_range()
317 r10k_sdcache_wb_range(register_t va, vsize_t size) in r10k_sdcache_wb_range()