Rev 4148 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4148 | Rev 4251 | ||
|---|---|---|---|
| Line 51... | Line 51... | ||
| 51 | i8042_t *i8042; |
51 | i8042_t *i8042; |
| 52 | indev_t kbrdin; |
52 | indev_t kbrdin; |
| 53 | } i8042_instance_t; |
53 | } i8042_instance_t; |
| 54 | 54 | ||
| 55 | extern indev_t *i8042_init(i8042_t *, inr_t); |
55 | extern indev_t *i8042_init(i8042_t *, inr_t); |
| - | 56 | extern void i8042_cpu_reset(i8042_t *); |
|
| 56 | 57 | ||
| 57 | #endif |
58 | #endif |
| 58 | 59 | ||
| 59 | /** @} |
60 | /** @} |
| 60 | */ |
61 | */ |