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)