Lines Matching refs:idx
111 int idx; in local_flush_tlb_range() local
118 idx = read_c0_index(); in local_flush_tlb_range()
121 if (idx < 0) in local_flush_tlb_range()
124 write_c0_entryhi(KSEG0 + idx*0x2000); in local_flush_tlb_range()
143 int oldpid, newpid, idx; in local_flush_tlb_page() local
157 idx = read_c0_index(); in local_flush_tlb_page()
160 if(idx < 0) in local_flush_tlb_page()
163 write_c0_entryhi(KSEG0+idx*0x2000); in local_flush_tlb_page()
181 int oldpid, idx; in local_flush_tlb_one() local
191 idx = read_c0_index(); in local_flush_tlb_one()
194 if (idx >= 0) { in local_flush_tlb_one()
196 write_c0_entryhi(KSEG0+idx*0x2000); in local_flush_tlb_one()
216 int idx, pid; in __update_tlb() local
242 idx = read_c0_index(); in __update_tlb()
255 if (idx < 0) { in __update_tlb()
275 int idx;
284 idx = read_c0_index();
289 if (idx < 0)