110
109
ns16550_kbd.cmds[3].addr = (void *) (ns16550_kernel + RBR_REG);
112
111
async_set_interrupt_received(ns16550_irq_handler);
113
ipc_register_irq(inr, device_assign_devno(), inr, &ns16550_kbd);
112
register_irq(inr, device_assign_devno(), inr, &ns16550_kbd);
115
114
return pio_enable((void *) ns16550_physical, 8, &vaddr);