Rev 3022 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3022 | Rev 4055 | ||
|---|---|---|---|
| Line 61... | Line 61... | ||
| 61 | task_t *task; /**< Current task. */ |
61 | task_t *task; /**< Current task. */ |
| 62 | cpu_t *cpu; /**< Executing cpu. */ |
62 | cpu_t *cpu; /**< Executing cpu. */ |
| 63 | as_t *as; /**< Current address space. */ |
63 | as_t *as; /**< Current address space. */ |
| 64 | } the_t; |
64 | } the_t; |
| 65 | 65 | ||
| 66 | #define THE ((the_t *)(get_stack_base())) |
66 | #define THE ((the_t * )(get_stack_base())) |
| 67 | 67 | ||
| 68 | extern void the_initialize(the_t *the); |
68 | extern void the_initialize(the_t *the); |
| 69 | extern void the_copy(the_t *src, the_t *dst); |
69 | extern void the_copy(the_t *src, the_t *dst); |
| 70 | 70 | ||
| 71 | extern void arch_pre_main(void); |
- | |
| 72 | extern void arch_pre_mm_init(void); |
71 | extern void arch_pre_mm_init(void); |
| 73 | extern void arch_post_mm_init(void); |
72 | extern void arch_post_mm_init(void); |
| 74 | extern void arch_post_cpu_init(void); |
73 | extern void arch_post_cpu_init(void); |
| 75 | extern void arch_pre_smp_init(void); |
74 | extern void arch_pre_smp_init(void); |
| 76 | extern void arch_post_smp_init(void); |
75 | extern void arch_post_smp_init(void); |
| 77 | 76 | ||
| 78 | extern void calibrate_delay_loop(void); |
77 | extern void calibrate_delay_loop(void); |
| 79 | 78 | ||
| 80 | extern void reboot(void); |
79 | extern void reboot(void); |
| 81 | extern void arch_reboot(void); |
80 | extern void arch_reboot(void); |
| - | 81 | extern void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller); |
|
| 82 | 82 | ||
| 83 | #endif |
83 | #endif |
| 84 | 84 | ||
| 85 | /** @} |
85 | /** @} |
| 86 | */ |
86 | */ |