IPI_KGDB_ROUNDUP
case IPI_KGDB_ROUNDUP:
case IPI_KGDB_ROUNDUP:
[IPI_KGDB_ROUNDUP] = "KGDB roundup interrupts",
__ipi_send_single(get_ipi_desc(cpu, IPI_KGDB_ROUNDUP), cpu);
case IPI_KGDB_ROUNDUP:
send_ipi_single(cpu, IPI_KGDB_ROUNDUP);
[IPI_KGDB_ROUNDUP] = "KGDB roundup interrupts",