| /branches/tracing/kernel/generic/include/arch.h |
|---|
| 68,7 → 68,6 |
| 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 |