gpiokeys_read_char
c = gpiokeys_read_char(&sc->sc_kbd, 0);
.read_char = &gpiokeys_read_char,
static uint32_t gpiokeys_read_char(keyboard_t *, int);