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);