GPIO_EXTINT_COUNT
for (i = 0; i < GPIO_EXTINT_COUNT; i++)
uint32_t sc_saved_extint_gpios[GPIO_EXTINT_COUNT];