| /trunk/kernel/genarch/include/kbd/i8042.h |
|---|
| 36,7 → 36,7 |
| #define KERN_I8042_H_ |
| #include <arch/types.h> |
| #include <console/chardev.h> |
| #include <typedefs.h> |
| struct i8042 { |
| ioport8_t data; |
| 52,7 → 52,6 |
| extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr); |
| extern void i8042_grab(void); |
| extern void i8042_release(void); |
| extern char i8042_key_read(chardev_t *d); |
| #endif |