/trunk/kernel/generic/include/synch/futex.h |
---|
36,7 → 36,6 |
#define KERN_FUTEX_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/waitq.h> |
#include <genarch/mm/page_ht.h> |
#include <genarch/mm/page_pt.h> |
/trunk/kernel/generic/include/synch/rwlock.h |
---|
36,7 → 36,6 |
#define KERN_RWLOCK_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/mutex.h> |
#include <synch/synch.h> |
#include <synch/spinlock.h> |
/trunk/kernel/generic/include/synch/mutex.h |
---|
36,7 → 36,6 |
#define KERN_MUTEX_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/semaphore.h> |
#include <synch/synch.h> |
/trunk/kernel/generic/include/synch/spinlock.h |
---|
36,7 → 36,6 |
#define KERN_SPINLOCK_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <preemption.h> |
#include <atomic.h> |
#include <debug.h> |
/trunk/kernel/generic/include/synch/semaphore.h |
---|
36,7 → 36,6 |
#define KERN_SEMAPHORE_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/waitq.h> |
#include <synch/synch.h> |
/trunk/kernel/generic/include/synch/waitq.h |
---|
36,7 → 36,6 |
#define KERN_WAITQ_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
#include <synch/spinlock.h> |
#include <synch/synch.h> |
#include <adt/list.h> |
67,7 → 66,6 |
extern void waitq_sleep_finish(waitq_t *wq, int rc, ipl_t ipl); |
extern void waitq_wakeup(waitq_t *wq, bool all); |
extern void _waitq_wakeup_unsafe(waitq_t *wq, bool all); |
extern void waitq_interrupt_sleep(thread_t *t); |
#endif |