Searched refs:read_c0_index (Results 1 – 7 of 7) sorted by relevance
111 idx = read_c0_index(); in local_flush_tlb_range()148 idx = read_c0_index(); in local_flush_tlb_kernel_range()181 idx = read_c0_index(); in local_flush_tlb_page()220 idx = read_c0_index(); in __update_tlb()
152 idx = read_c0_index(); in local_flush_tlb_range()198 idx = read_c0_index(); in local_flush_tlb_kernel_range()235 idx = read_c0_index(); in local_flush_tlb_page()271 idx = read_c0_index(); in local_flush_tlb_one()319 idx = read_c0_index(); in __update_tlb()
21 pr_info("Index : %0x\n", read_c0_index()); in dump_tlb_regs()94 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()
1561 #define read_c0_index() __read_32bit_c0_register($0, 0) macro
