PRCMU_GIC_NUMBER_REGS
for (i = 0; i < PRCMU_GIC_NUMBER_REGS - 1; i++) {
for (i = 0; i < PRCMU_GIC_NUMBER_REGS; i++) {