kvmppc_pack_vcpu_id
core = kvmppc_pack_vcpu_id(kvm, id);
return kvmppc_pack_vcpu_id(xive->kvm, cpu) < xive->nr_servers;
return xive->vp_base + kvmppc_pack_vcpu_id(xive->kvm, server);