Rev 2134 | Rev 3071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2134 | Rev 2141 | ||
|---|---|---|---|
| Line 62... | Line 62... | ||
| 62 | ver_reg_t ver; |
62 | ver_reg_t ver; |
| 63 | uint32_t clock_frequency; /**< Processor frequency in Hz. */ |
63 | uint32_t clock_frequency; /**< Processor frequency in Hz. */ |
| 64 | uint64_t next_tick_cmpr; /**< Next clock interrupt should be |
64 | uint64_t next_tick_cmpr; /**< Next clock interrupt should be |
| 65 | generated when the TICK register |
65 | generated when the TICK register |
| 66 | matches this value. */ |
66 | matches this value. */ |
| 67 | #ifdef CONFIG_SMP |
- | |
| 68 | int dcache_active; |
- | |
| 69 | dcache_shootdown_msg_t dcache_messages[DCACHE_MSG_QUEUE_LEN]; |
- | |
| 70 | count_t dcache_message_count; |
- | |
| 71 | #endif |
- | |
| 72 | } cpu_arch_t; |
67 | } cpu_arch_t; |
| 73 | 68 | ||
| 74 | #endif |
69 | #endif |
| 75 | 70 | ||
| 76 | /** @} |
71 | /** @} |