KBD_DATA_PORT
inb(IO_KBD + KBD_DATA_PORT);
inb(IO_KBD + KBD_DATA_PORT);
outb(IO_KBD + KBD_DATA_PORT, KBDC_ECHO);
i = inb(IO_KBD + KBD_DATA_PORT);
inb(IO_KBD + KBD_DATA_PORT);
inb(IO_KBD + KBD_DATA_PORT);
outb(IO_KBD + KBD_DATA_PORT, KBDC_ECHO);
i = inb(IO_KBD + KBD_DATA_PORT);
iop.port = KBD_DATA_PORT;
dsdt_fixed_ioport(KBD_DATA_PORT, 1);
dsdt_fixed_ioport(KBD_DATA_PORT, 1);