Index: sys/arm64/arm64/intr_machdep.c =================================================================== --- sys/arm64/arm64/intr_machdep.c +++ sys/arm64/arm64/intr_machdep.c @@ -393,7 +393,7 @@ intrcnt_setname(intr->i_event->ie_fullname, intr->i_cntidx); intr->i_handlers++; - if (!cold && intr->i_handlers == 1) { + if (!cold && (root_pic != NULL) && (intr->i_handlers == 1)) { if (intr->i_trig != INTR_TRIGGER_CONFORM || intr->i_pol != INTR_POLARITY_CONFORM) { PIC_CONFIG(root_pic, intr->i_hw_irq, intr->i_trig,