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 |
|