diff options
| author | Mark Johnston <markj@FreeBSD.org> | 2026-02-03 19:09:44 +0000 |
|---|---|---|
| committer | Mark Johnston <markj@FreeBSD.org> | 2026-02-03 19:09:44 +0000 |
| commit | 2d0564b9daf49c46e0e4ef6c7d162c73fc8b35d7 (patch) | |
| tree | caebaa89e6b24fea1431f7787114f7da3a6eb786 /sys/dev/vmm | |
| parent | 8cfa6ddcee021adaf9515286e25dd0c961adf8a4 (diff) | |
Diffstat (limited to 'sys/dev/vmm')
| -rw-r--r-- | sys/dev/vmm/vmm_dev.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sys/dev/vmm/vmm_dev.c b/sys/dev/vmm/vmm_dev.c index ad3cc5725f9c..09fd3a9048bd 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); |