I8042_LOCK
case I8042_LOCK:
I8042_LOCK);
(void) ddi_get8(kb8042->handle, kb8042->addr + I8042_LOCK);
state->ms_addr + I8042_LOCK);