rcu_report_dead    78 include/linux/rcupdate.h void rcu_report_dead(unsigned int cpu);
rcu_report_dead   941 kernel/cpu.c   	rcu_report_dead(smp_processor_id());