idx_kernel 173 arch/mips/kvm/tlb.c int idx_user = 0, idx_kernel = 0; idx_kernel 184 arch/mips/kvm/tlb.c idx_kernel = _kvm_mips_host_tlb_inv((va & VPN2_MASK) | idx_kernel 203 arch/mips/kvm/tlb.c if (kernel && idx_kernel >= 0) idx_kernel 206 arch/mips/kvm/tlb.c kvm_mips_get_kernel_asid(vcpu), idx_kernel);