IPI_CPU_CRASH_STOP
case IPI_CPU_CRASH_STOP:
send_ipi_mask(&mask, IPI_CPU_CRASH_STOP);
[IPI_CPU_CRASH_STOP] = "CPU stop (for crash dump) interrupts",