From 2d0564b9daf49c46e0e4ef6c7d162c73fc8b35d7 Mon Sep 17 00:00:00 2001
From: Mark Johnston <markj@FreeBSD.org>
Date: Tue, 3 Feb 2026 19:09:44 +0000
Subject: [PATCH] vmm: Remove an unneeded NULL pointer check

sc->vm is unconditionally dereferenced earlier in this function.  No
functional change intended.

Reviewed by:	bnovkov
MFC after:	1 week
Differential Revision:	https://reviews.freebsd.org/D55069
---
 sys/dev/vmm/vmm_dev.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/sys/dev/vmm/vmm_dev.c b/sys/dev/vmm/vmm_dev.c
index ad3cc5725f9..09fd3a9048b 100644
--- a/sys/dev/vmm/vmm_dev.c
+++ b/sys/dev/vmm/vmm_dev.c
@@ -876,8 +876,7 @@ vmmdev_destroy(struct vmmdev_softc *sc)
 		free(dsc, M_VMMDEV);
 	}
 
-	if (sc->vm != NULL)
-		vm_destroy(sc->vm);
+	vm_destroy(sc->vm);
 
 	chgvmmcnt(sc->ucred->cr_ruidinfo, -1, 0);
 	crfree(sc->ucred);