git: dee751933363 - stable/13 - vmm: Fix wrong assert in ivhd_dev_add_entry

[Ka Ho Ng]

The branch stable/13 has been updated by khng:

URL: https://cgit.FreeBSD.org/src/commit/?id=dee751933363182642a7eb0a615196006495fc67

commit dee751933363182642a7eb0a615196006495fc67
Author:     Ka Ho Ng <khng at FreeBSD.org>
AuthorDate: 2021-08-12 07:54:40 +0000
Commit:     Ka Ho Ng <khng at FreeBSD.org>
CommitDate: 2021-09-03 17:21:10 +0000

    vmm: Fix wrong assert in ivhd_dev_add_entry
    
    The correct condition is to check the number of ivhd entries fit into
    the array.
    
    Reported by:    bz
    Sponsored by:   The FreeBSD Foundation
    Differential Revision:  https://reviews.freebsd.org/D31514
    
    (cherry picked from commit 179bc5729dd72e0f4252c0dce72454c76782f935)
---
 sys/amd64/vmm/amd/ivrs_drv.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/amd64/vmm/amd/ivrs_drv.c b/sys/amd64/vmm/amd/ivrs_drv.c
index 68c31788e29d..a0b332e297b1 100644
--- a/sys/amd64/vmm/amd/ivrs_drv.c
+++ b/sys/amd64/vmm/amd/ivrs_drv.c
@@ -184,7 +184,7 @@ ivhd_dev_add_entry(struct amdvi_softc *softc, uint32_t start_id,
 {
 	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)