Searched refs:read_c0_index (Results 1 – 7 of 7) sorted by relevance
99 idx = read_c0_index(); in local_flush_tlb_range()136 idx = read_c0_index(); in local_flush_tlb_kernel_range()169 idx = read_c0_index(); in local_flush_tlb_page()208 idx = read_c0_index(); in __update_tlb()
144 idx = read_c0_index(); in local_flush_tlb_range()192 idx = read_c0_index(); in local_flush_tlb_kernel_range()235 idx = read_c0_index(); in local_flush_tlb_page()273 idx = read_c0_index(); in local_flush_tlb_one()325 idx = read_c0_index(); in __update_tlb()
22 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()96 s_index = read_c0_index(); in dump_tlb()
22 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()
27 idx = read_c0_index(); in ocelot_detect()
148 idx = read_c0_index(); in _kvm_mips_host_tlb_inv()
1582 #define read_c0_index() __read_32bit_c0_register($0, 0) macro