send_kbd_command
send_kbd_command(kbdc, KBDC_ENABLE_KBD);
if (send_kbd_command(kbdc, KBDC_SEND_DEV_ID) != KBD_ACK)
int send_kbd_command(KBDC kbdc,int c);