/branches/rcu/kernel/generic/include/synch/rcu.h |
---|
36,7 → 36,7 |
#define KERN_RCU_H_ |
#include <arch/types.h> |
#include <ddi/tasklet.h> |
#include <proc/tasklet.h> |
#include <arch/barrier.h> |
#include <preemption.h> |
/branches/rcu/kernel/generic/include/ddi/tasklet.h |
---|
File deleted |
/branches/rcu/kernel/generic/include/ddi/irq.h |
---|
122,6 → 122,14 |
*/ |
SPINLOCK_DECLARE(lock); |
/** Send EOI before processing the interrupt. |
* This is essential for timer interrupt which |
* has to be acknowledged before doing preemption |
* to make sure another timer interrupt will |
* be eventually generated. |
*/ |
bool preack; |
/** Unique device number. -1 if not yet assigned. */ |
devno_t devno; |