X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_msr.c;h=345ab1aac9445d0d5ec97f30d99f49bc34bfac76;hb=3b0d98aaf40fd7a1bfc3bc736144386636cc7a73;hp=747ec89b594dd37e67fcac4be73b28b52ca65895;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git

diff --git a/palacios/src/palacios/svm_msr.c b/palacios/src/palacios/svm_msr.c
index 747ec89..345ab1a 100644
--- a/palacios/src/palacios/svm_msr.c
+++ b/palacios/src/palacios/svm_msr.c
@@ -89,4 +89,7 @@ int v3_init_svm_msr_map(struct v3_vm_info * vm) {
     return 0;
 }
 
-
+int v3_deinit_svm_msr_map(struct v3_vm_info * vm) {
+    V3_FreePages(V3_PAddr(vm->msr_map.arch_data), 2);
+    return 0;
+}