Rev 2071 | Rev 2089 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2079 | ||
|---|---|---|---|
| Line 50... | Line 50... | ||
| 50 | 50 | ||
| 51 | /** CPU structure. |
51 | /** CPU structure. |
| 52 | * |
52 | * |
| 53 | * There is one structure like this for every processor. |
53 | * There is one structure like this for every processor. |
| 54 | */ |
54 | */ |
| 55 | struct cpu { |
55 | typedef struct { |
| 56 | SPINLOCK_DECLARE(lock); |
56 | SPINLOCK_DECLARE(lock); |
| 57 | 57 | ||
| 58 | tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN]; |
58 | tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN]; |
| 59 | count_t tlb_messages_count; |
59 | count_t tlb_messages_count; |
| 60 | 60 | ||
| Line 89... | Line 89... | ||
| 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 | uint8_t *stack; |
93 | uint8_t *stack; |
| 94 | }; |
94 | } cpu_t; |
| 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); |
| 99 | extern void cpu_list(void); |
99 | extern void cpu_list(void); |