Rev 2071 | Rev 2107 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2089 | ||
|---|---|---|---|
| Line 67... | Line 67... | ||
| 67 | */ |
67 | */ |
| 68 | 68 | ||
| 69 | #include <ddi/irq.h> |
69 | #include <ddi/irq.h> |
| 70 | #include <adt/hash_table.h> |
70 | #include <adt/hash_table.h> |
| 71 | #include <arch/types.h> |
71 | #include <arch/types.h> |
| 72 | #include <typedefs.h> |
- | |
| 73 | #include <synch/spinlock.h> |
72 | #include <synch/spinlock.h> |
| 74 | #include <arch.h> |
73 | #include <arch.h> |
| 75 | 74 | ||
| 76 | #define KEY_INR 0 |
75 | #define KEY_INR 0 |
| 77 | #define KEY_DEVNO 1 |
76 | #define KEY_DEVNO 1 |