Rev 2087 | Rev 2118 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2087 | Rev 2089 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | #include <proc/thread.h> |
42 | #include <proc/thread.h> |
43 | #include <proc/task.h> |
43 | #include <proc/task.h> |
44 | #include <mm/frame.h> |
44 | #include <mm/frame.h> |
45 | #include <mm/page.h> |
45 | #include <mm/page.h> |
46 | #include <mm/as.h> |
46 | #include <mm/as.h> |
- | 47 | #include <time/timeout.h> |
|
47 | #include <time/delay.h> |
48 | #include <time/delay.h> |
48 | #include <arch/asm.h> |
49 | #include <arch/asm.h> |
49 | #include <arch/faddr.h> |
50 | #include <arch/faddr.h> |
50 | #include <arch/cycle.h> |
51 | #include <arch/cycle.h> |
51 | #include <atomic.h> |
52 | #include <atomic.h> |
52 | #include <synch/spinlock.h> |
53 | #include <synch/spinlock.h> |
53 | #include <config.h> |
54 | #include <config.h> |
54 | #include <context.h> |
55 | #include <context.h> |
- | 56 | #include <fpu_context.h> |
|
55 | #include <func.h> |
57 | #include <func.h> |
56 | #include <arch.h> |
58 | #include <arch.h> |
57 | #include <adt/list.h> |
59 | #include <adt/list.h> |
58 | #include <panic.h> |
60 | #include <panic.h> |
59 | #include <typedefs.h> |
- | |
60 | #include <cpu.h> |
61 | #include <cpu.h> |
61 | #include <print.h> |
62 | #include <print.h> |
62 | #include <debug.h> |
63 | #include <debug.h> |
63 | 64 | ||
64 | static void before_task_runs(void); |
65 | static void before_task_runs(void); |