diff options
Diffstat (limited to 'src/coreboot-start.c')
| -rw-r--r-- | src/coreboot-start.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/coreboot-start.c b/src/coreboot-start.c index 07606fc..cfcc668 100644 --- a/src/coreboot-start.c +++ b/src/coreboot-start.c @@ -27,13 +27,18 @@ extern void cb_start_rom(void); extern int cb_boot_processor_ready; -/// @brief hardware thread counter. +/// @brief hardware thread counter (rv64 only) +#ifdef __COMPILE_RISCV__ +uint64_t __cb_hart_counter = 0UL; +#endif /// @brief Start executing the firmware. /// @param void cb_start_exec(void) { +#ifndef __COMPILE_RISCV__ static uint64_t __cb_hart_counter = 0UL; +#endif ++__cb_hart_counter; |