Rev 3704 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3704 | Rev 3927 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | 37 | ||
38 | #include <arch/types.h> |
38 | #include <arch/types.h> |
39 | #include <console/chardev.h> |
39 | #include <console/chardev.h> |
40 | 40 | ||
41 | extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr); |
41 | extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr); |
42 | extern void i8042_poll(void); |
- | |
43 | extern void i8042_grab(void); |
42 | extern void i8042_grab(void); |
44 | extern void i8042_release(void); |
43 | extern void i8042_release(void); |
45 | extern char i8042_key_read(chardev_t *d); |
44 | extern char i8042_key_read(chardev_t *d); |
46 | 45 | ||
47 | #endif |
46 | #endif |