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