Lines Matching defs:idx
141 int idx;
148 idx = read_c0_index();
150 if (idx >= current_cpu_data.tlbsize)
153 if (idx >= 0) {
154 write_c0_entryhi(UNIQUE_ENTRYHI(idx));
163 return idx;
200 kvm_debug("%s: Invalidated guest user entryhi %#lx @ idx %d\n",
204 kvm_debug("%s: Invalidated guest kernel entryhi %#lx @ idx %d\n",
253 int idx;
264 idx = _kvm_mips_host_tlb_inv((va & VPN2_MASK) |
281 if (idx > 0)
282 kvm_debug("%s: Invalidated root entryhi %#lx @ idx %d\n",
284 kvm_mips_get_root_asid(vcpu), idx);
628 int idx = read_gc0_index();
635 write_gc0_index(idx);
645 int idx = read_gc0_index();
657 write_gc0_index(idx);