Rev 15 | Rev 20 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 15 | Rev 16 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | 31 | ||
32 | #include <arch/types.h> |
32 | #include <arch/types.h> |
33 | #include <typedefs.h> |
33 | #include <typedefs.h> |
34 | 34 | ||
35 | #include <cpu.h> |
35 | #include <cpu.h> |
- | 36 | #include <arch/cpu.h> |
|
36 | 37 | ||
37 | #define CPU (the->cpu) |
38 | #define CPU (cpu_private_data[CPU_ID_ARCH].cpu) |
38 | #define THREAD (the->thread) |
39 | #define THREAD (cpu_private_data[CPU_ID_ARCH].thread) |
39 | #define TASK (the->task) |
40 | #define TASK (cpu_private_data[CPU_ID_ARCH].task) |
40 | - | ||
41 | extern cpu_private_page_t *the; |
- | |
42 | 41 | ||
43 | extern void arch_init(void); |
42 | extern void arch_init(void); |
44 | extern void calibrate_delay_loop(void); |
43 | extern void calibrate_delay_loop(void); |
45 | 44 | ||
46 | extern pri_t cpu_priority_high(void); |
45 | extern pri_t cpu_priority_high(void); |