Symbol: GPIO_NUM_BANKS