/kernel/trunk/generic/src/synch/rwlock.c |
---|
56,7 → 56,7 |
#include <synch/mutex.h> |
#include <synch/waitq.h> |
#include <synch/synch.h> |
#include <list.h> |
#include <adt/list.h> |
#include <typedefs.h> |
#include <arch/asm.h> |
#include <arch.h> |
/kernel/trunk/generic/src/synch/waitq.c |
---|
37,7 → 37,7 |
#include <time/timeout.h> |
#include <arch.h> |
#include <context.h> |
#include <list.h> |
#include <adt/list.h> |
/** Initialize wait queue |
* |