Searched refs:core_count (Results 1 – 1 of 1) sorted by relevance
60 uint32_t core_count = 0; in trigger_wdt_restart() local68 core_count++; in trigger_wdt_restart()74 active_cores = core_count; in trigger_wdt_restart()
