| /trunk/kernel/genarch/include/kbd/z8530.h |
|---|
| 37,8 → 37,8 |
|---|
| #ifndef KERN_Z8530_H_ |
| #define KERN_Z8530_H_ |
| |
| #include <typedefs.h> |
| #include <ddi/irq.h> |
| #include <console/chardev.h> |
| #include <ipc/irq.h> |
| |
| extern bool z8530_belongs_to_kernel; |
| |
| /trunk/kernel/genarch/include/kbd/ns16550.h |
|---|
| 37,8 → 37,8 |
|---|
| #ifndef KERN_NS16550_H_ |
| #define KERN_NS16550_H_ |
| |
| #include <typedefs.h> |
| #include <ddi/irq.h> |
| #include <console/chardev.h> |
| #include <ipc/irq.h> |
| |
| extern void ns16550_init(devno_t devno, inr_t inr, uintptr_t vaddr); |
| extern void ns16550_poll(void); |
| /trunk/kernel/genarch/include/kbd/i8042.h |
|---|
| 35,7 → 35,7 |
|---|
| #ifndef KERN_I8042_H_ |
| #define KERN_I8042_H_ |
| |
| #include <typedefs.h> |
| #include <console/chardev.h> |
| |
| extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr); |
| extern void i8042_poll(void); |