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());