Searched refs:dead_cpu (Results 1 – 2 of 2) sorted by relevance
48 extern void hotplug_cpu__broadcast_tick_pull(int dead_cpu);50 static inline void hotplug_cpu__broadcast_tick_pull(int dead_cpu) { } in hotplug_cpu__broadcast_tick_pull() argument
290 static inline void check_for_tasks(int dead_cpu) in check_for_tasks() argument305 if (task_cpu(p) != dead_cpu) in check_for_tasks()309 p->comm, task_pid_nr(p), dead_cpu, p->state, p->flags); in check_for_tasks()