kvm_mips_get_root_asid  265 arch/mips/kvm/tlb.c 				     kvm_mips_get_root_asid(vcpu));
kvm_mips_get_root_asid  284 arch/mips/kvm/tlb.c 				    kvm_mips_get_root_asid(vcpu), idx);