crash_ipi_issued  811 arch/x86/kernel/reboot.c static int crash_ipi_issued;
crash_ipi_issued  870 arch/x86/kernel/reboot.c 	WRITE_ONCE(crash_ipi_issued, 1);
crash_ipi_issued  888 arch/x86/kernel/reboot.c 	if (crash_ipi_issued)