Rev 3965 | Rev 4084 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3965 | Rev 3984 | ||
|---|---|---|---|
| Line 79... | Line 79... | ||
| 79 | #include <ipc/ipc.h> |
79 | #include <ipc/ipc.h> |
| 80 | #include <macros.h> |
80 | #include <macros.h> |
| 81 | #include <adt/btree.h> |
81 | #include <adt/btree.h> |
| 82 | #include <smp/smp.h> |
82 | #include <smp/smp.h> |
| 83 | #include <ddi/ddi.h> |
83 | #include <ddi/ddi.h> |
| 84 | - | ||
| - | 84 | #include <main/main.h> |
|
| 85 | 85 | ||
| 86 | /** Global configuration structure. */ |
86 | /** Global configuration structure. */ |
| 87 | config_t config; |
87 | config_t config; |
| 88 | 88 | ||
| 89 | /** Initial user-space tasks */ |
89 | /** Initial user-space tasks */ |
| Line 112... | Line 112... | ||
| 112 | /** Size of the kernel data in bytes. */ |
112 | /** Size of the kernel data in bytes. */ |
| 113 | size_t hardcoded_kdata_size = 0; |
113 | size_t hardcoded_kdata_size = 0; |
| 114 | /** Lowest safe stack virtual address. */ |
114 | /** Lowest safe stack virtual address. */ |
| 115 | uintptr_t stack_safe = 0; |
115 | uintptr_t stack_safe = 0; |
| 116 | 116 | ||
| 117 | void main_bsp(void); |
- | |
| 118 | void main_ap(void); |
- | |
| 119 | - | ||
| 120 | /* |
117 | /* |
| 121 | * These two functions prevent stack from underflowing during the |
118 | * These two functions prevent stack from underflowing during the |
| 122 | * kernel boot phase when SP is set to the very top of the reserved |
119 | * kernel boot phase when SP is set to the very top of the reserved |
| 123 | * space. The stack could get corrupted by a fooled compiler-generated |
120 | * space. The stack could get corrupted by a fooled compiler-generated |
| 124 | * pop sequence otherwise. |
121 | * pop sequence otherwise. |