X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fmcheck.c;h=8b3c5b244b60ecabf3e2ac970f7d9470cf849c76;hb=88a3605446744969abe6f193a7bc20e62d5aa555;hp=cbb06d76262b1d21e61a4ffac309acd810865d99;hpb=e94507c7055f81abcf6a95132cb7ad90f1b5e6ca;p=palacios.git

diff --git a/linux_module/mcheck.c b/linux_module/mcheck.c
index cbb06d7..8b3c5b2 100644
--- a/linux_module/mcheck.c
+++ b/linux_module/mcheck.c
@@ -47,6 +47,7 @@ static int guest_init(struct v3_guest * guest, void ** vm_data) {
 
 static int guest_deinit(struct v3_guest * guest, void * vm_data) {
     
+    remove_guest_ctrl(guest, V3_VM_INJECT_SCRUBBER_MCE);
     return 0;
 }