IPI_SHOOTDOWN
case IPI_SHOOTDOWN:
case IPI_SHOOTDOWN:
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_SHOOTDOWN, IPL_SCHED,
intr_establish_xname(IPI_SHOOTDOWN, IPL_SCHED, IST_MPSAFE | IST_EDGE, pic_ipi_shootdown, (void *)-1, "IPI shootdown");
[IPI_SHOOTDOWN] = IPL_SCHED,
if (ipi_mask & __BIT(IPI_SHOOTDOWN)) {
ci->ci_evcnt_per_ipi[IPI_SHOOTDOWN].ev_count++;
[IPI_SHOOTDOWN] = "ipi shootdown",
cpu_send_ipi(cpu_lookup(j), IPI_SHOOTDOWN);