NCT_NUM_PINS
gpio_pin_t sc_pins[NCT_NUM_PINS]; /* GPIO pin descr. */
gba.gba_npins = NCT_NUM_PINS;
KASSERT(pin >= 0 && pin < NCT_NUM_PINS);