Subversion Repositories HelenOS

Compare Revisions

Regard whitespace Rev 2264 → Rev 2265

/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;