X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm_msr.h;h=1405083b00af3c3f83fa934578c58d8b44bc0b71;hb=5ce19b21aac351221fe41e95e717127bfec0c467;hp=defb6fa70cc5691de102fdca80e70448350442d0;hpb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;p=palacios.git

diff --git a/palacios/include/palacios/svm_msr.h b/palacios/include/palacios/svm_msr.h
index defb6fa..1405083 100644
--- a/palacios/include/palacios/svm_msr.h
+++ b/palacios/include/palacios/svm_msr.h
@@ -25,7 +25,8 @@
 
 #include <palacios/vmm.h>
 
-int v3_init_svm_msr_map(struct guest_info * info);
+int v3_init_svm_msr_map(struct v3_vm_info * vm);
+int v3_deinit_svm_msr_map(struct v3_vm_info * vm);
 
 
 #endif // ! __V3VEE__