diff --git a/sys/amd64/vmm/amd/ivrs_drv.c b/sys/amd64/vmm/amd/ivrs_drv.c
--- a/sys/amd64/vmm/amd/ivrs_drv.c
+++ b/sys/amd64/vmm/amd/ivrs_drv.c
@@ -184,7 +184,7 @@
 {
 	struct ivhd_dev_cfg *dev_cfg;
 
-	KASSERT(softc->dev_cfg_cap <= softc->dev_cfg_cnt,
+	KASSERT(softc->dev_cfg_cap >= softc->dev_cfg_cnt,
 	    ("Impossible case: number of dev_cfg exceeding capacity"));
 	if (softc->dev_cfg_cap == softc->dev_cfg_cnt) {
 		if (softc->dev_cfg_cap == 0)