Searched refs:target_cpu_list (Results 1 – 1 of 1) sorted by relevance
62 uint32_t target_cpu_list = 0; in trigger_wdt_restart() local69 target_cpu_list |= (1 << i); in trigger_wdt_restart()80 if (target_cpu_list & (1 << i)) { in trigger_wdt_restart()
