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); |