I8042_INT_OUTPUT_DATA
case I8042_INT_OUTPUT_DATA:
case I8042_INT_OUTPUT_DATA:
if ((uintptr_t)addr == I8042_INT_OUTPUT_DATA) {
if ((uintptr_t)addr == I8042_INT_OUTPUT_DATA)
(polled ? I8042_POLL_OUTPUT_DATA : I8042_INT_OUTPUT_DATA);
kb8042->addr + I8042_INT_OUTPUT_DATA, byte);
I8042_INT_OUTPUT_DATA, MSERESET);
state->ms_addr + I8042_INT_OUTPUT_DATA,