Index: arch/arm/cortex/gic.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/cortex/gic.c,v
retrieving revision 1.28
diff -u -p -r1.28 gic.c
--- arch/arm/cortex/gic.c	22 Jun 2017 08:10:29 -0000	1.28
+++ arch/arm/cortex/gic.c	28 Jun 2017 07:19:13 -0000
@@ -282,9 +282,6 @@ armgic_irq_handler(void *arg)
 
 	ci->ci_data.cpu_nintr++;
 
-	KASSERTMSG(old_ipl != IPL_HIGH, "old_ipl %d pmr %#x hppir %#x",
-	    old_ipl, gicc_read(sc, GICC_PMR), gicc_read(sc, GICC_HPPIR));
-
 	KERNHIST_LOG(armgichist, "old_ipl %d pmr %u hppir %u", old_ipl,
 	    gicc_read(sc, GICC_PMR), gicc_read(sc, GICC_HPPIR), 0);
 
@@ -304,6 +301,9 @@ armgic_irq_handler(void *arg)
 			}
 		}
 
+		KASSERTMSG(old_ipl != IPL_HIGH, "old_ipl %d pmr %#x hppir %#x",
+		    old_ipl, gicc_read(sc, GICC_PMR), gicc_read(sc, GICC_HPPIR));
+
 		//const uint32_t cpuid = __SHIFTOUT(iar, GICC_IAR_CPUID_MASK);
 		struct intrsource * const is = sc->sc_pic.pic_sources[irq];
 		KASSERT(is != &armgic_dummy_source);