Rev 2416 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2416 | Rev 2421 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | #include <mm/tlb.h> |
38 | #include <mm/tlb.h> |
39 | #include <synch/spinlock.h> |
39 | #include <synch/spinlock.h> |
40 | #include <proc/scheduler.h> |
40 | #include <proc/scheduler.h> |
41 | #include <arch/cpu.h> |
41 | #include <arch/cpu.h> |
42 | #include <arch/context.h> |
42 | #include <arch/context.h> |
- | 43 | #if defined CONFIG_TIMEOUT_AVL_TREE |
|
- | 44 | #include <adt/avl.h> |
|
43 | #ifdef CONFIG_TIMEOUT_EXTAVL_TREE |
45 | #elif defined CONFIG_TIMEOUT_EXTAVL_TREE |
44 | #include <adt/extavl.h> |
46 | #include <adt/extavl.h> |
- | 47 | #elif defined CONFIG_TIMEOUT_EXTAVLREL_TREE |
|
- | 48 | #include <adt/extavlrel.h> |
|
45 | #endif |
49 | #endif |
46 | 50 | ||
47 | - | ||
48 | #define CPU_STACK_SIZE STACK_SIZE |
51 | #define CPU_STACK_SIZE STACK_SIZE |
49 | 52 | ||
50 | /** CPU structure. |
53 | /** CPU structure. |
51 | * |
54 | * |
52 | * There is one structure like this for every processor. |
55 | * There is one structure like this for every processor. |