Rev 1731 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1731 | Rev 1780 | ||
|---|---|---|---|
| Line 78... | Line 78... | ||
| 78 | int id; |
78 | int id; |
| 79 | 79 | ||
| 80 | int active; |
80 | int active; |
| 81 | int tlb_active; |
81 | int tlb_active; |
| 82 | 82 | ||
| 83 | __u16 frequency_mhz; |
83 | uint16_t frequency_mhz; |
| 84 | __u32 delay_loop_const; |
84 | uint32_t delay_loop_const; |
| 85 | 85 | ||
| 86 | cpu_arch_t arch; |
86 | cpu_arch_t arch; |
| 87 | 87 | ||
| 88 | thread_t *fpu_owner; |
88 | thread_t *fpu_owner; |
| 89 | 89 | ||
| 90 | /** |
90 | /** |
| 91 | * Stack used by scheduler when there is no running thread. |
91 | * Stack used by scheduler when there is no running thread. |
| 92 | */ |
92 | */ |
| 93 | __u8 *stack; |
93 | uint8_t *stack; |
| 94 | }; |
94 | }; |
| 95 | 95 | ||
| 96 | extern cpu_t *cpus; |
96 | extern cpu_t *cpus; |
| 97 | 97 | ||
| 98 | extern void cpu_init(void); |
98 | extern void cpu_init(void); |