Index: sys/arm64/arm64/gicv3_its.c
===================================================================
--- sys/arm64/arm64/gicv3_its.c
+++ sys/arm64/arm64/gicv3_its.c
@@ -1197,6 +1197,9 @@
 		return (NULL);
 	}
 
+	/* Make sure device sees zeroed ITT. */
+	cpu_dcache_wb_range((vm_offset_t)its_dev->itt, its_dev->itt_size);
+
 	mtx_lock_spin(&sc->sc_its_dev_lock);
 	TAILQ_INSERT_TAIL(&sc->sc_its_dev_list, its_dev, entry);
 	mtx_unlock_spin(&sc->sc_its_dev_lock);