write_kbd_command
write_kbd_command(kbdc, KBDC_ECHO);
if (!write_kbd_command(p, c))
if (!write_kbd_command(p, c))
if (!write_kbd_command(p, d))
if (!write_kbd_command(p, KBDC_RESET_KBD))
int write_kbd_command(KBDC kbdc,int c);