kvm_mips_get_user_asid  182 arch/mips/kvm/tlb.c 						  kvm_mips_get_user_asid(vcpu));
kvm_mips_get_user_asid  202 arch/mips/kvm/tlb.c 				    kvm_mips_get_user_asid(vcpu), idx_user);