Searched refs:read_c0_index (Results 1 – 6 of 6) sorted by relevance
109 idx = read_c0_index(); in local_flush_tlb_range()146 idx = read_c0_index(); in local_flush_tlb_kernel_range()178 idx = read_c0_index(); in local_flush_tlb_page()216 idx = read_c0_index(); in __update_tlb()
145 idx = read_c0_index(); in local_flush_tlb_range()191 idx = read_c0_index(); in local_flush_tlb_kernel_range()228 idx = read_c0_index(); in local_flush_tlb_page()264 idx = read_c0_index(); in local_flush_tlb_one()312 idx = read_c0_index(); in __update_tlb()
20 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()88 s_index = read_c0_index(); in dump_tlb()
21 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()
214 idx = read_c0_index(); in kvm_mips_host_tlb_write()343 vcpu->arch.pc, read_c0_index(), read_c0_entryhi(), in kvm_mips_handle_commpage_tlb_fault()448 idx = read_c0_index(); in kvm_mips_host_tlb_lookup()477 idx = read_c0_index(); in kvm_mips_host_tlb_inv()
1131 #define read_c0_index() __read_32bit_c0_register($0, 0) macro