Symbol: rcutree_report_cpu_dead
arch/arm64/kernel/smp.c
411
rcutree_report_cpu_dead();
include/linux/rcutree.h
125
void rcutree_report_cpu_dead(void);
kernel/cpu.c
1370
rcutree_report_cpu_dead();