| /kernel/trunk/generic/src/time/timeout.c |
|---|
| 34,10 → 34,8 |
| #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 |
| /kernel/trunk/generic/src/time/clock.c |
|---|
| 35,7 → 35,6 |
| #include <func.h> |
| #include <proc/scheduler.h> |
| #include <cpu.h> |
| #include <print.h> |
| #include <arch.h> |
| #include <adt/list.h> |
| #include <atomic.h> |