Symbol: kvm_mips_get_root_asid
arch/mips/kvm/tlb.c
127
kvm_mips_get_root_asid(vcpu));
arch/mips/kvm/tlb.c
146
kvm_mips_get_root_asid(vcpu), idx);