diff options
author | Robert Wing <rew@FreeBSD.org> | 2022-04-10 18:30:14 +0000 |
---|---|---|
committer | Robert Wing <rew@FreeBSD.org> | 2022-04-10 18:30:14 +0000 |
commit | 3587bfa797cd66dce2e94ca93df5ce41def555df (patch) | |
tree | c07aa5e46cf3efc4cd44b4d2da4e77c1de55c668 | |
parent | 5c272efaba291f744191dca86f04418bfe90b222 (diff) | |
download | src-3587bfa797cd66dce2e94ca93df5ce41def555df.tar.gz src-3587bfa797cd66dce2e94ca93df5ce41def555df.zip |
vmm: fix set but not used warning
-rw-r--r-- | sys/amd64/vmm/vmm_dev.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/amd64/vmm/vmm_dev.c b/sys/amd64/vmm/vmm_dev.c index a83c74219fee..f5973ef5b6a7 100644 --- a/sys/amd64/vmm/vmm_dev.c +++ b/sys/amd64/vmm/vmm_dev.c @@ -993,7 +993,7 @@ vmmdev_destroy(void *arg) { struct vmmdev_softc *sc = arg; struct devmem_softc *dsc; - int error; + int error __diagused; error = vcpu_lock_all(sc); KASSERT(error == 0, ("%s: error %d freezing vcpus", __func__, error)); |