KVMPPC_GSE_GUESTWIDE_START
(KVMPPC_GSE_GUESTWIDE_END - KVMPPC_GSE_GUESTWIDE_START + 1)
bit += iden - KVMPPC_GSE_GUESTWIDE_START;
iden = KVMPPC_GSE_GUESTWIDE_START + bit;
if ((iden >= KVMPPC_GSE_GUESTWIDE_START) &&