Searched refs:read_c0_index (Results 1 – 6 of 6) sorted by relevance
106 idx = read_c0_index(); in local_flush_tlb_range()143 idx = read_c0_index(); in local_flush_tlb_kernel_range()175 idx = read_c0_index(); in local_flush_tlb_page()213 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()
57 s_index = read_c0_index(); in dump_tlb()
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()
1094 #define read_c0_index() __read_32bit_c0_register($0, 0) macro
1533 pr_err("Index : %0x\n", read_c0_index()); in do_mcheck()