Home
last modified time | relevance | path

Searched refs:idx_kernel (Results 1 – 1 of 1) sorted by relevance

/arch/mips/kvm/
Dtlb.c173 int idx_user = 0, idx_kernel = 0; in kvm_mips_host_tlb_inv() local
184 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()