Rev 3343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3343 | Rev 3665 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | #ifndef KERN_Z8530_H_ |
37 | #ifndef KERN_Z8530_H_ |
| 38 | #define KERN_Z8530_H_ |
38 | #define KERN_Z8530_H_ |
| 39 | 39 | ||
| 40 | #include <console/chardev.h> |
40 | #include <console/chardev.h> |
| 41 | #include <ipc/irq.h> |
41 | #include <ipc/irq.h> |
| - | 42 | #include <ddi/irq.h> |
|
| 42 | 43 | ||
| 43 | extern bool z8530_belongs_to_kernel; |
44 | extern bool z8530_belongs_to_kernel; |
| 44 | 45 | ||
| 45 | extern void z8530_init(devno_t devno, inr_t inr, uintptr_t vaddr); |
46 | extern void z8530_init(devno_t, uintptr_t, inr_t, cir_t, void *); |
| 46 | extern void z8530_poll(void); |
47 | extern void z8530_poll(void); |
| 47 | extern void z8530_grab(void); |
48 | extern void z8530_grab(void); |
| 48 | extern void z8530_release(void); |
49 | extern void z8530_release(void); |
| 49 | extern void z8530_interrupt(void); |
50 | extern void z8530_interrupt(void); |
| 50 | extern char z8530_key_read(chardev_t *d); |
51 | extern char z8530_key_read(chardev_t *); |
| 51 | extern irq_ownership_t z8530_claim(void); |
52 | extern irq_ownership_t z8530_claim(void); |
| 52 | extern void z8530_irq_handler(irq_t *irq, void *arg, ...); |
53 | extern void z8530_irq_handler(irq_t *, void *, ...); |
| 53 | 54 | ||
| 54 | #endif |
55 | #endif |
| 55 | 56 | ||
| 56 | /** @} |
57 | /** @} |
| 57 | */ |
58 | */ |