From c3e58ace314561fd382fe27e567c9181ccc836d9 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Fri, 23 Jun 2023 09:33:41 -0700
Subject: [PATCH] arm64 iommu: Fix build without INVARIANTS.

Obtained from:	CheriBSD
Sponsored by:	DARPA
---
 sys/arm64/iommu/iommu_pmap.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/arm64/iommu/iommu_pmap.c b/sys/arm64/iommu/iommu_pmap.c
index 1c45579835c..8c4379bcdad 100644
--- a/sys/arm64/iommu/iommu_pmap.c
+++ b/sys/arm64/iommu/iommu_pmap.c
@@ -414,7 +414,9 @@ smmu_pmap_pinit(struct smmu_pmap *pmap)
 	pmap->sp_l0_paddr = VM_PAGE_TO_PHYS(m);
 	pmap->sp_l0 = (pd_entry_t *)PHYS_TO_DMAP(pmap->sp_l0_paddr);
 
+#ifdef INVARIANTS
 	pmap->sp_resident_count = 0;
+#endif
 	mtx_init(&pmap->sp_mtx, "smmu pmap", NULL, MTX_DEF);
 
 	return (1);