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
@@ -537,6 +537,9 @@
 			its_tbl_size = page_size;
 			break;
 		default:
+			if (bootverbose)
+				device_printf(dev, "Unhandled table type %lx\n",
+				    type);
 			continue;
 		}
 		npages = howmany(its_tbl_size, PAGE_SIZE);