Searched refs:active_cores (Results 1 – 1 of 1) sorted by relevance
35 static int active_cores = 0; variable76 active_cores = core_count; in trigger_wdt_restart()79 INFO("Active Cores: %d\n", active_cores); in trigger_wdt_restart()157 active_cores--; in zynqmp_sgi7_irq()168 if (active_cores == 0) { in zynqmp_sgi7_irq()