kvmppc_pack_vcpu_id 2330 arch/powerpc/kvm/book3s_hv.c core = kvmppc_pack_vcpu_id(kvm, id); kvmppc_pack_vcpu_id 220 arch/powerpc/kvm/book3s_xive.h return xive->vp_base + kvmppc_pack_vcpu_id(xive->kvm, server);