Rev 788 | Rev 1431 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 788 | Rev 1002 | ||
|---|---|---|---|
| Line 36... | Line 36... | ||
| 36 | #include <arch/types.h> |
36 | #include <arch/types.h> |
| 37 | #include <typedefs.h> |
37 | #include <typedefs.h> |
| 38 | #include <arch/context.h> |
38 | #include <arch/context.h> |
| 39 | #include <config.h> |
39 | #include <config.h> |
| 40 | #include <adt/list.h> |
40 | #include <adt/list.h> |
| - | 41 | #include <mm/tlb.h> |
|
| 41 | 42 | ||
| 42 | #define CPU_STACK_SIZE STACK_SIZE |
43 | #define CPU_STACK_SIZE STACK_SIZE |
| 43 | 44 | ||
| 44 | /** CPU structure. |
45 | /** CPU structure. |
| 45 | * |
46 | * |
| 46 | * There is one structure like this for every processor. |
47 | * There is one structure like this for every processor. |
| 47 | */ |
48 | */ |
| 48 | struct cpu { |
49 | struct cpu { |
| 49 | SPINLOCK_DECLARE(lock); |
50 | SPINLOCK_DECLARE(lock); |
| 50 | 51 | ||
| - | 52 | tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN]; |
|
| - | 53 | count_t tlb_messages_count; |
|
| - | 54 | ||
| 51 | context_t saved_context; |
55 | context_t saved_context; |
| 52 | 56 | ||
| 53 | atomic_t nrdy; |
57 | atomic_t nrdy; |
| 54 | runq_t rq[RQ_COUNT]; |
58 | runq_t rq[RQ_COUNT]; |
| 55 | volatile count_t needs_relink; |
59 | volatile count_t needs_relink; |