SPRN_GSPRG3
KVMPPC_BOOKE_HV_SPRNG_OR_VCPU_SHARED_REGS_ACCESSOR(sprg3, 64, SPRN_GSPRG3, KVMPPC_GSID_SPRG3)
mtspr(SPRN_GSPRG3, (unsigned long)vcpu->arch.shared->sprg3);
vcpu->arch.shared->sprg3 = mfspr(SPRN_GSPRG3);