X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_msr.h;h=645baa8a1b6df4ae33c6ca6122fa7fb770ab9a79;hb=5b1f618cf74dbcd7e490fa3fe4da5a4c53d79b5d;hp=f494772a370819de224d6da6edefd69e930f6171;hpb=fd5d916136c80b7c3f873f51a26b88c2149e622b;p=palacios.git

diff --git a/palacios/include/palacios/vmm_msr.h b/palacios/include/palacios/vmm_msr.h
index f494772..645baa8 100644
--- a/palacios/include/palacios/vmm_msr.h
+++ b/palacios/include/palacios/vmm_msr.h
@@ -70,6 +70,7 @@ struct v3_msr_map {
 
 
 void v3_init_msr_map(struct v3_vm_info * vm);
+int v3_deinit_msr_map(struct v3_vm_info * vm);
 
 int v3_unhook_msr(struct v3_vm_info * vm, uint_t msr);