IPI_TIMER
[IPI_TIMER] = "Timer broadcast interrupts",
smp_cross_call(mask, IPI_TIMER);
case IPI_TIMER:
smp_cross_call(mask, IPI_TIMER);
[IPI_TIMER] = "Timer broadcast interrupts",
case IPI_TIMER:
case IPI_TIMER:
send_ipi(mask, IPI_TIMER);
case IPI_TIMER:
send_ipi_mask(mask, IPI_TIMER);
[IPI_TIMER] = "Timer broadcast interrupts",