Symbol: kvmppc_update_vpas
arch/powerpc/kvm/book3s_hv.c
4750
kvmppc_update_vpas(vcpu);
arch/powerpc/kvm/book3s_hv.c
4906
kvmppc_update_vpas(vcpu);