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 |