build fixes and cleanup code to handle VMM shutdown

[palacios-OLD.git] / palacios / include / palacios / svm.h

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index 1e26c55..a0078ca 100644 (file)
--- a/palacios/include/palacios/svm.h
+++ b/palacios/include/palacios/svm.h
@@ -76,9 +76,11 @@
 #define SVM_HANDLER_ERROR     0x1
 #define SVM_HANDLER_HALT      0x2
 
+int v3_is_svm_capable();
 
 void v3_init_svm_cpu(int cpu_id);
-int v3_is_svm_capable();
+void v3_deinit_svm_cpu(int cpu_id);
+
 
 int v3_init_svm_vmcb(struct guest_info * core, v3_vm_class_t vm_class);
 int v3_deinit_svm_vmcb(struct guest_info * core);