DTE_NUM_REGS_TO_RESTORE
for (i = 0; i < DTE_NUM_REGS_TO_RESTORE; i++)
for (i = 0; i < DTE_NUM_REGS_TO_RESTORE; i++) {
u32 reg_val[DTE_NUM_REGS_TO_RESTORE];