Symbol: workqueue_softirq_dead
include/linux/workqueue.h
473
void workqueue_softirq_dead(unsigned int cpu);
kernel/softirq.c
1074
workqueue_softirq_dead(cpu);