| 63,12 → 63,11 |
|---|
| as_t *as; /**< Current address space. */ |
| } the_t; |
| |
| #define THE ((the_t *)(get_stack_base())) |
| #define THE ((the_t * )(get_stack_base())) |
| |
| extern void the_initialize(the_t *the); |
| extern void the_copy(the_t *src, the_t *dst); |
| |
| extern void arch_pre_main(void); |
| extern void arch_pre_mm_init(void); |
| extern void arch_post_mm_init(void); |
| extern void arch_post_cpu_init(void); |
| 79,6 → 78,7 |
|---|
| |
| extern void reboot(void); |
| extern void arch_reboot(void); |
| extern void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller); |
| |
| #endif |
| |