Rev 1002 | Rev 1731 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1002 | Rev 1431 | ||
---|---|---|---|
Line 59... | Line 59... | ||
59 | volatile count_t needs_relink; |
59 | volatile count_t needs_relink; |
60 | 60 | ||
61 | SPINLOCK_DECLARE(timeoutlock); |
61 | SPINLOCK_DECLARE(timeoutlock); |
62 | link_t timeout_active_head; |
62 | link_t timeout_active_head; |
63 | 63 | ||
- | 64 | count_t missed_clock_ticks; /**< When system clock loses a tick, it is recorded here |
|
- | 65 | so that clock() can react. This variable is |
|
- | 66 | CPU-local and can be only accessed when interrupts |
|
- | 67 | are disabled. */ |
|
- | 68 | ||
64 | /** |
69 | /** |
65 | * Processor ID assigned by kernel. |
70 | * Processor ID assigned by kernel. |
66 | */ |
71 | */ |
67 | int id; |
72 | int id; |
68 | 73 |