ps2kbd_write
ps2kbd_write(sc->ps2kbd_sc, *eax);
void ps2kbd_write(struct ps2kbd_softc *sc, uint8_t val);