Searched refs:idx_kernel (Results 1 – 1 of 1) sorted by relevance
173 int idx_user = 0, idx_kernel = 0; in kvm_mips_host_tlb_inv() local184 idx_kernel = _kvm_mips_host_tlb_inv((va & VPN2_MASK) | in kvm_mips_host_tlb_inv()203 if (kernel && idx_kernel >= 0) in kvm_mips_host_tlb_inv()206 kvm_mips_get_kernel_asid(vcpu), idx_kernel); in kvm_mips_host_tlb_inv()
