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