Searched refs:read_c0_index (Results 1 – 6 of 6) sorted by relevance
141 idx = read_c0_index(); in local_flush_tlb_range()184 idx = read_c0_index(); in local_flush_tlb_kernel_range()219 idx = read_c0_index(); in local_flush_tlb_page()253 idx = read_c0_index(); in local_flush_tlb_one()299 idx = read_c0_index(); in __update_tlb()340 idx = read_c0_index();
107 idx = read_c0_index(); in local_flush_tlb_range()145 idx = read_c0_index(); in local_flush_tlb_kernel_range()177 idx = read_c0_index(); in local_flush_tlb_page()215 idx = read_c0_index(); in __update_tlb()
163 tlbidx = read_c0_index(); in kmap_coherent()
47 s_index = read_c0_index(); in dump_tlb()
766 #define read_c0_index() __read_32bit_c0_register($0, 0) macro
985 printk("Index : %0x\n", read_c0_index()); in do_mcheck()