Searched refs:read_c0_index (Results 1 – 7 of 7) sorted by relevance
96 idx = read_c0_index(); in local_flush_tlb_range()133 idx = read_c0_index(); in local_flush_tlb_kernel_range()166 idx = read_c0_index(); in local_flush_tlb_page()205 idx = read_c0_index(); in __update_tlb()
143 idx = read_c0_index(); in local_flush_tlb_range()191 idx = read_c0_index(); in local_flush_tlb_kernel_range()234 idx = read_c0_index(); in local_flush_tlb_page()272 idx = read_c0_index(); in local_flush_tlb_one()326 idx = read_c0_index(); in __update_tlb()
21 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()87 s_index = read_c0_index(); in dump_tlb()
19 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()
27 idx = read_c0_index(); in ocelot_detect()
59 idx = read_c0_index(); in _kvm_mips_host_tlb_inv()
1654 #define read_c0_index() __read_32bit_c0_register($0, 0) macro