| 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; |
| |
| 105,18 → 105,15 |
|---|
| * appropriate sizes and addresses. |
| */ |
| |
| /**< Virtual address of where the kernel is loaded. */ |
| /** Virtual address of where the kernel is loaded. */ |
| uintptr_t hardcoded_load_address = 0; |
| /**< Size of the kernel code in bytes. */ |
| /** Size of the kernel code in bytes. */ |
| size_t hardcoded_ktext_size = 0; |
| /**< Size of the kernel data in bytes. */ |
| /** Size of the kernel data in bytes. */ |
| size_t hardcoded_kdata_size = 0; |
| /**< Lowest safe stack virtual address. */ |
| /** 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 |