diff --git a/sys/amd64/vmm/amd/svm.c b/sys/amd64/vmm/amd/svm.c
--- a/sys/amd64/vmm/amd/svm.c
+++ b/sys/amd64/vmm/amd/svm.c
@@ -166,7 +166,10 @@
 {
 
 	smp_rendezvous(NULL, svm_disable, NULL, NULL);
-	kmem_free(hsave, (mp_maxid + 1) * PAGE_SIZE);
+
+	if (hsave != NULL)
+		kmem_free(hsave, (mp_maxid + 1) * PAGE_SIZE);
+
 	return (0);
 }
 
diff --git a/sys/amd64/vmm/intel/vmx.c b/sys/amd64/vmm/intel/vmx.c
--- a/sys/amd64/vmm/intel/vmx.c
+++ b/sys/amd64/vmm/intel/vmx.c
@@ -619,7 +619,9 @@
 		nmi_flush_l1d_sw = 0;
 
 	smp_rendezvous(NULL, vmx_disable, NULL, NULL);
-	kmem_free(vmxon_region, (mp_maxid + 1) * PAGE_SIZE);
+
+	if (vmxon_region != NULL)
+		kmem_free(vmxon_region, (mp_maxid + 1) * PAGE_SIZE);
 
 	return (0);
 }