37a38,42
> /**
> * Note: For details on the implementation see
> * https://wiki.osdev.org/%228042%22_PS/2_Controller
> */
>
384a390,400
> case WriteKeyboardOutputBuff:
> DPRINTF(I8042, "Got data %#02x for \"Write "
> "keyboad output buffer\" command.\n", data);
> writeData(data, false);
> break;
> case WriteOutputPort:
> DPRINTF(I8042, "Got data %#02x for \"Write "
> "output port\" command.\n", data);
> panic_if(bits(data, 0) != 1, "Reset bit should be 1");
> // Safe to ignore otherwise
> break;
456d471
< warn("i8042 \"Write output port\" command not implemented.\n");
460,461d474
< warn("i8042 \"Write keyboard output buffer\" "
< "command not implemented.\n");