Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3343 | Rev 3742 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef KERN_I8042_H_ |
35 | #ifndef KERN_I8042_H_ |
36 | #define KERN_I8042_H_ |
36 | #define KERN_I8042_H_ |
37 | 37 | ||
- | 38 | #include <arch/types.h> |
|
38 | #include <console/chardev.h> |
39 | #include <console/chardev.h> |
39 | 40 | ||
40 | 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); |
41 | extern void i8042_poll(void); |
42 | extern void i8042_poll(void); |
42 | extern void i8042_grab(void); |
43 | extern void i8042_grab(void); |