ps2kbd_read
while (ps2kbd_read(sc->ps2kbd_sc, &val) != -1) {
if (ps2kbd_read(sc->ps2kbd_sc, &val) != -1)
int ps2kbd_read(struct ps2kbd_softc *sc, uint8_t *val);