X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_xed.c;h=f4408f2161f7aaf279456bbfb3b923ff5541e33a;hb=16745fa0dd0900263d4d92315cd17e0ed9ccae91;hp=99ce14e0cbd3678e15f12c71175c9ca23da7483e;hpb=29b7ff8811c82ab543f5c969e44ff217637a09c7;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c
index 99ce14e..f4408f2 100644
--- a/palacios/src/palacios/vmm_xed.c
+++ b/palacios/src/palacios/vmm_xed.c
@@ -180,6 +180,13 @@ int v3_init_decoder(struct guest_info * info) {
 
 
 
+int v3_deinit_decoder(struct guest_info * core) {
+    V3_Free(core->decoder_state);
+
+    return 0;
+}
+
+
 int v3_basic_mem_decode(struct guest_info * info, addr_t instr_ptr, struct basic_instr_info * instr_info) {
     xed_decoded_inst_t xed_instr;
     xed_error_enum_t xed_error;