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