diff --git a/sys/amd64/vmm/amd/svm.c b/sys/amd64/vmm/amd/svm.c
index 0af7342128f2..d295401a9043 100644
--- a/sys/amd64/vmm/amd/svm.c
+++ b/sys/amd64/vmm/amd/svm.c
@@ -166,7 +166,10 @@ svm_modcleanup(void)
 {
 
 	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
index 55ed5fdf1a00..8b8f8fe6cb25 100644
--- a/sys/amd64/vmm/intel/vmx.c
+++ b/sys/amd64/vmm/intel/vmx.c
@@ -619,7 +619,9 @@ vmx_modcleanup(void)
 		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);
 }