Searched refs:core_count (Results 1 – 1 of 1) sorted by relevance
61 uint32_t core_count = 0; in trigger_wdt_restart() local69 core_count++; in trigger_wdt_restart()75 active_cores = core_count; in trigger_wdt_restart()
Completed in 3 milliseconds