kb8042_send_and_wait
if (kb8042_send_and_wait(kb8042, KB_SET_LED, polled)) {
(void) kb8042_send_and_wait(kb8042,
(void) kb8042_send_and_wait(kb8042, KB_ENABLE, polled);