/kernel/trunk/generic/src/proc/scheduler.c |
34,7 → 34,7 |
#include <mm/as.h> |
#include <arch/asm.h> |
#include <arch/faddr.h> |
#include <arch/atomic.h> |
#include <atomic.h> |
#include <synch/spinlock.h> |
#include <config.h> |
#include <context.h> |
/kernel/trunk/generic/src/proc/thread.c |
49,7 → 49,7 |
#include <arch/interrupt.h> |
#include <smp/ipi.h> |
#include <arch/faddr.h> |
#include <arch/atomic.h> |
#include <atomic.h> |
#include <memstr.h> |
#include <print.h> |
#include <mm/slab.h> |
/kernel/trunk/generic/src/mm/tlb.c |
32,7 → 32,7 |
#include <smp/ipi.h> |
#include <synch/spinlock.h> |
#include <typedefs.h> |
#include <arch/atomic.h> |
#include <atomic.h> |
#include <arch/interrupt.h> |
#include <config.h> |
#include <arch.h> |
/kernel/trunk/generic/src/time/clock.c |
38,7 → 38,7 |
#include <print.h> |
#include <arch.h> |
#include <adt/list.h> |
#include <arch/atomic.h> |
#include <atomic.h> |
#include <proc/thread.h> |
|
/** Clock routine |