diff options
| author | Mark Johnston <markj@FreeBSD.org> | 2024-08-26 18:41:23 +0000 |
|---|---|---|
| committer | Mark Johnston <markj@FreeBSD.org> | 2024-08-26 18:41:23 +0000 |
| commit | 3df92c972898be7b4b8dafacfd6708f3a39b2af5 (patch) | |
| tree | acdbeaa12bef104bce0058ed007093adbb124663 | |
| parent | 93e81baa1c1baccf4eca9e3dbfe5ac9378e9623a (diff) | |
| -rw-r--r-- | sys/amd64/vmm/vmm_dev.c | 2 | ||||
| -rw-r--r-- | sys/arm64/vmm/vmm_dev.c | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/sys/amd64/vmm/vmm_dev.c b/sys/amd64/vmm/vmm_dev.c index 46cddce4e4b8..9acbfbb454e0 100644 --- a/sys/amd64/vmm/vmm_dev.c +++ b/sys/amd64/vmm/vmm_dev.c @@ -228,9 +228,7 @@ vmmdev_lookup(const char *name) { struct vmmdev_softc *sc; -#ifdef notyet /* XXX kernel is not compiled with invariants */ mtx_assert(&vmmdev_mtx, MA_OWNED); -#endif SLIST_FOREACH(sc, &head, link) { if (strcmp(name, vm_name(sc->vm)) == 0) diff --git a/sys/arm64/vmm/vmm_dev.c b/sys/arm64/vmm/vmm_dev.c index 946c6760f7c1..c3c6dcc87d88 100644 --- a/sys/arm64/vmm/vmm_dev.c +++ b/sys/arm64/vmm/vmm_dev.c @@ -172,9 +172,7 @@ vmmdev_lookup(const char *name) { struct vmmdev_softc *sc; -#ifdef notyet /* XXX kernel is not compiled with invariants */ mtx_assert(&vmmdev_mtx, MA_OWNED); -#endif SLIST_FOREACH(sc, &head, link) { if (strcmp(name, vm_name(sc->vm)) == 0) |