Searched refs:dead_cpu (Results 1 – 1 of 1) sorted by relevance
50 extern void hotplug_cpu__broadcast_tick_pull(int dead_cpu);52 static inline void hotplug_cpu__broadcast_tick_pull(int dead_cpu) { } in hotplug_cpu__broadcast_tick_pull() argument