Rev 4343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4343 | Rev 4691 | ||
---|---|---|---|
Line 54... | Line 54... | ||
54 | * For each possible kernel stack, structure |
54 | * For each possible kernel stack, structure |
55 | * of the following type will be placed at |
55 | * of the following type will be placed at |
56 | * the base address of the stack. |
56 | * the base address of the stack. |
57 | */ |
57 | */ |
58 | typedef struct { |
58 | typedef struct { |
59 | count_t preemption_disabled; /**< Preemption disabled counter. */ |
59 | size_t preemption_disabled; /**< Preemption disabled counter. */ |
60 | thread_t *thread; /**< Current thread. */ |
60 | thread_t *thread; /**< Current thread. */ |
61 | task_t *task; /**< Current task. */ |
61 | task_t *task; /**< Current task. */ |
62 | cpu_t *cpu; /**< Executing cpu. */ |
62 | cpu_t *cpu; /**< Executing cpu. */ |
63 | as_t *as; /**< Current address space. */ |
63 | as_t *as; /**< Current address space. */ |
64 | } the_t; |
64 | } the_t; |