/trunk/kernel/generic/src/ddi/device.c |
---|
38,7 → 38,6 |
#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,7 → 69,6 |
#include <ddi/irq.h> |
#include <adt/hash_table.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/spinlock.h> |
#include <arch.h> |