IPI_NOP
case IPI_NOP:
intr_ipi_send(ci->ci_kcpuset, IPI_NOP);
case IPI_NOP:
if (ipi == IPI_NOP) {
intr_establish_xname(ARMGIC_SGI_IPIBASE + IPI_NOP, IPL_VM,
intr_establish_xname(IPI_NOP, IPL_VM, IST_MPSAFE | IST_EDGE, pic_ipi_nop, (void *)-1, "IPI nop");
[IPI_NOP] = IPL_HIGH,
if (ipi_mask & __BIT(IPI_NOP)) {
ci->ci_evcnt_per_ipi[IPI_NOP].ev_count++;
[IPI_NOP] = "ipi nop",
if (ipi_mask & __BIT(IPI_NOP)) {
ci->ci_evcnt_per_ipi[IPI_NOP].ev_count++;
[IPI_NOP] = "ipi nop",