Rev 756 | Rev 759 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 756 | Rev 757 | ||
|---|---|---|---|
| Line 75... | Line 75... | ||
| 75 | size_t hardcoded_kdata_size = 0; |
75 | size_t hardcoded_kdata_size = 0; |
| 76 | 76 | ||
| 77 | __address init_addr = 0; |
77 | __address init_addr = 0; |
| 78 | size_t init_size = 0; |
78 | size_t init_size = 0; |
| 79 | 79 | ||
| 80 | /** Kernel address space. */ |
- | |
| 81 | as_t *AS_KERNEL = NULL; |
- | |
| 82 | - | ||
| 83 | void main_bsp(void); |
80 | void main_bsp(void); |
| 84 | void main_ap(void); |
81 | void main_ap(void); |
| 85 | 82 | ||
| 86 | /* |
83 | /* |
| 87 | * These two functions prevent stack from underflowing during the |
84 | * These two functions prevent stack from underflowing during the |