| /trunk/kernel/generic/src/main/main.c |
|---|
| 81,8 → 81,8 |
| #include <adt/btree.h> |
| #include <smp/smp.h> |
| #include <ddi/ddi.h> |
| #include <main/main.h> |
| /** Global configuration structure. */ |
| config_t config; |
| 114,9 → 114,6 |
| /** Lowest safe stack virtual address. */ |
| uintptr_t stack_safe = 0; |
| void main_bsp(void); |
| void main_ap(void); |
| /* |
| * These two functions prevent stack from underflowing during the |
| * kernel boot phase when SP is set to the very top of the reserved |