/kernel/trunk/generic/src/proc/task.c |
34,7 → 34,7 |
#include <synch/spinlock.h> |
#include <arch.h> |
#include <panic.h> |
#include <list.h> |
#include <adt/list.h> |
|
SPINLOCK_INITIALIZE(tasks_lock); |
LIST_INITIALIZE(tasks_head); |
/kernel/trunk/generic/src/proc/thread.c |
41,10 → 41,10 |
#include <cpu.h> |
#include <func.h> |
#include <context.h> |
#include <list.h> |
#include <adt/list.h> |
#include <typedefs.h> |
#include <time/clock.h> |
#include <list.h> |
#include <adt/list.h> |
#include <config.h> |
#include <arch/interrupt.h> |
#include <smp/ipi.h> |