nmi_shootdown_cpus  846 arch/x86/kernel/reboot.c void nmi_shootdown_cpus(nmi_shootdown_cb callback)
nmi_shootdown_cpus  903 arch/x86/kernel/reboot.c void nmi_shootdown_cpus(nmi_shootdown_cb callback)