idx_user          173 arch/mips/kvm/tlb.c 	int idx_user = 0, idx_kernel = 0;
idx_user          181 arch/mips/kvm/tlb.c 		idx_user = _kvm_mips_host_tlb_inv((va & VPN2_MASK) |
idx_user          199 arch/mips/kvm/tlb.c 	if (user && idx_user >= 0)
idx_user          202 arch/mips/kvm/tlb.c 				    kvm_mips_get_user_asid(vcpu), idx_user);