kvm_mips_get_kernel_asid  185 arch/mips/kvm/tlb.c 						kvm_mips_get_kernel_asid(vcpu));
kvm_mips_get_kernel_asid  206 arch/mips/kvm/tlb.c 				    kvm_mips_get_kernel_asid(vcpu), idx_kernel);