SPRN_GSPRG1
KVMPPC_BOOKE_HV_SPRNG_OR_VCPU_SHARED_REGS_ACCESSOR(sprg1, 64, SPRN_GSPRG1, KVMPPC_GSID_SPRG1)
mtspr(SPRN_GSPRG1, (unsigned long)vcpu->arch.shared->sprg1);
vcpu->arch.shared->sprg1 = mfspr(SPRN_GSPRG1);