//kernel/trunk/generic/include/proc/scheduler.h |
---|
33,7 → 33,7 |
#include <time/clock.h> /* HZ */ |
#include <typedefs.h> |
#include <arch/atomic.h> |
#include <list.h> |
#include <adt/list.h> |
#define RQ_COUNT 16 |
#define NEEDS_RELINK_MAX (HZ) |
//kernel/trunk/generic/include/proc/task.h |
---|
31,7 → 31,7 |
#include <typedefs.h> |
#include <synch/spinlock.h> |
#include <list.h> |
#include <adt/list.h> |
/** Task structure. */ |
struct task { |
//kernel/trunk/generic/include/proc/thread.h |
---|
38,7 → 38,7 |
#include <time/timeout.h> |
#include <synch/rwlock.h> |
#include <config.h> |
#include <list.h> |
#include <adt/list.h> |
#define THREAD_STACK_SIZE STACK_SIZE |