Searched refs:idx_user (Results 1 – 1 of 1) sorted by relevance
173 int idx_user = 0, idx_kernel = 0; in kvm_mips_host_tlb_inv() local181 idx_user = _kvm_mips_host_tlb_inv((va & VPN2_MASK) | in kvm_mips_host_tlb_inv()199 if (user && idx_user >= 0) in kvm_mips_host_tlb_inv()202 kvm_mips_get_user_asid(vcpu), idx_user); in kvm_mips_host_tlb_inv()
