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 | /** @} |