diff --git a/sys/arm64/arm64/gicv3_its.c b/sys/arm64/arm64/gicv3_its.c
--- a/sys/arm64/arm64/gicv3_its.c
+++ b/sys/arm64/arm64/gicv3_its.c
@@ -828,6 +828,11 @@
 		/* Make sure the GIC has seen everything */
 		dsb(sy);
 	}
+
+	if (bootverbose)
+		device_printf(gicv3, "using %sPENDBASE of %#lx on cpu %d\n",
+		    (sc->sc_its_flags & ITS_FLAGS_LPI_PREALLOC) ? "pre-existing " : "",
+		    vtophys(sc->sc_pend_base[cpuid]), cpuid);
 }
 
 static int