Basic HRT startup for HVM, plus assorted cleanup

[palacios.git] / palacios / include / palacios / svm_msr.h

diff --git a/palacios/include/palacios/svm_msr.h b/palacios/include/palacios/svm_msr.h
index 1ef8e75..1405083 100644 (file)
--- a/palacios/include/palacios/svm_msr.h
+++ b/palacios/include/palacios/svm_msr.h
@@ -26,6 +26,7 @@
 #include <palacios/vmm.h>
 
 int v3_init_svm_msr_map(struct v3_vm_info * vm);
+int v3_deinit_svm_msr_map(struct v3_vm_info * vm);
 
 
 #endif // ! __V3VEE__