X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm_msr.h;h=1405083b00af3c3f83fa934578c58d8b44bc0b71;hb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;hp=1ef8e758bd9c7fdcbc0be7f7987d155314bb81e6;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git

diff --git a/palacios/include/palacios/svm_msr.h b/palacios/include/palacios/svm_msr.h
index 1ef8e75..1405083 100644
--- 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__