cpuhp_bp_sync_dead
static void cpuhp_bp_sync_dead(unsigned int cpu)
static inline void cpuhp_bp_sync_dead(unsigned int cpu) { }