NUM_DBG_RESET_REGS
u32 reg_val[NUM_DBG_RESET_REGS] = { 0 };
for (rst_reg_id = 0; rst_reg_id < NUM_DBG_RESET_REGS; rst_reg_id++) {
u32 reg_val[NUM_DBG_RESET_REGS] = { 0 };
for (reset_reg_id = 0; reset_reg_id < NUM_DBG_RESET_REGS;
for (reset_reg_id = 0; reset_reg_id < NUM_DBG_RESET_REGS;