Index: sys/arm/arm/machdep_intr.c =================================================================== --- sys/arm/arm/machdep_intr.c +++ sys/arm/arm/machdep_intr.c @@ -226,6 +226,7 @@ isrc->isrc_handlers++; intr_ipi_setup(ipi, name, hand, arg, pic_ipi_send, isrc); + PIC_ENABLE_INTR(intr_irq_root_dev, isrc); return (0); } #endif Index: sys/arm64/arm64/mp_machdep.c =================================================================== --- sys/arm64/arm64/mp_machdep.c +++ sys/arm64/arm64/mp_machdep.c @@ -345,6 +345,8 @@ ii->ii_send_arg = isrc; strlcpy(ii->ii_name, name, INTR_IPI_NAMELEN); ii->ii_count = intr_ipi_setup_counters(name); + + PIC_ENABLE_INTR(intr_irq_root_dev, isrc); } static void