/kernel/trunk/generic/src/time/clock.c |
---|
35,6 → 35,7 |
#include <func.h> |
#include <proc/scheduler.h> |
#include <cpu.h> |
#include <print.h> |
#include <arch.h> |
#include <adt/list.h> |
#include <atomic.h> |
/kernel/trunk/generic/src/time/timeout.c |
---|
34,8 → 34,10 |
#include <synch/spinlock.h> |
#include <func.h> |
#include <cpu.h> |
#include <print.h> |
#include <arch/asm.h> |
#include <arch.h> |
#include <print.h> |
/** Initialize timeouts |