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)