diff --git a/sys/amd64/vmm/vmm_dev.c b/sys/amd64/vmm/vmm_dev.c
--- a/sys/amd64/vmm/vmm_dev.c
+++ b/sys/amd64/vmm/vmm_dev.c
@@ -1083,6 +1083,7 @@
 		break;
 	}
 
+done:
 	if (vcpus_locked == SINGLE)
 		vcpu_unlock_one(sc, vcpuid, vcpu);
 	else if (vcpus_locked == ALL)
@@ -1090,7 +1091,6 @@
 	if (memsegs_locked)
 		vm_unlock_memsegs(sc->vm);
 
-done:
 	/*
 	 * Make sure that no handler returns a kernel-internal
 	 * error value to userspace.