GPIO_PINS
#define BOOT_COUNT GPIO_PINS
#define SPECIAL_COMMANDS (UPGRADE + 1 - GPIO_PINS)
gpio_pin_t sc_pins[GPIO_PINS + SPECIAL_COMMANDS];
static const int pin_tab_index[GPIO_PINS] = {
for (int pin = 0; pin < GPIO_PINS; pin++)
gba.gba_npins = (GPIO_PINS + SPECIAL_COMMANDS);
KASSERT(pin < GPIO_PINS);
if (pin >= GPIO_PINS)
if (pin < GPIO_PINS) {
if (pin >= GPIO_PINS) {