| /trunk/kernel/generic/src/ddi/device.c |
|---|
| 38,6 → 38,7 |
| #include <ddi/device.h> |
| #include <atomic.h> |
| #include <debug.h> |
| #include <typedefs.h> |
| static atomic_t last; |
| /trunk/kernel/generic/src/ddi/irq.c |
|---|
| 69,6 → 69,7 |
| #include <ddi/irq.h> |
| #include <adt/hash_table.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <synch/spinlock.h> |
| #include <arch.h> |