| 54,8 → 54,7 |
|---|
| #include <arch/bootinfo.h> |
| #include <genarch/drivers/legacy/ia32/io.h> |
| #include <genarch/drivers/ega/ega.h> |
| #include <genarch/kbrd/kbrd.h> |
| #include <genarch/drivers/i8042/i8042.h> |
| #include <genarch/kbd/i8042.h> |
| #include <genarch/kbd/ns16550.h> |
| #include <smp/smp.h> |
| #include <smp/ipi.h> |
| 178,9 → 177,7 |
|---|
| (uintptr_t) NS16550_BASE); |
| #else |
| inr = IRQ_KBD; |
| kbrd_init(stdin); |
| (void) i8042_init((i8042_t *)I8042_BASE, devno, inr, &kbrdin); |
| trap_virtual_enable_irqs(1 << inr); |
| (void) i8042_init((i8042_t *)I8042_BASE, devno, inr); |
| sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY); |
| sysinfo_set_item_val("kbd.address.physical", NULL, |
| (uintptr_t) I8042_BASE); |