KVMPPC_GSE_DW_REGS_END
(KVMPPC_GSE_DW_REGS_END - KVMPPC_GSE_DW_REGS_START + 1)
(iden <= KVMPPC_GSE_DW_REGS_END))
for (u16 iden = KVMPPC_GSID_GPR(0); iden <= KVMPPC_GSE_DW_REGS_END; iden++) {