X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fmcheck.c;h=cbb06d76262b1d21e61a4ffac309acd810865d99;hb=4ca005982593fbdd7f4204ec9805b5f86edf5155;hp=9cdc04b78f5d6077b94779f50697248424267389;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/linux_module/mcheck.c b/linux_module/mcheck.c
index 9cdc04b..cbb06d7 100644
--- a/linux_module/mcheck.c
+++ b/linux_module/mcheck.c
@@ -50,11 +50,17 @@ static int guest_deinit(struct v3_guest * guest, void * vm_data) {
     return 0;
 }
 
+static int all_deinit(void)
+{
+    // nothing to do
+    return 0;
+}
+
 
 struct linux_ext mcheck_ext = {
     .name = "MACHINE CHECK",
     .init = NULL,
-    .deinit = NULL,
+    .deinit = all_deinit,
     .guest_init = guest_init, 
     .guest_deinit = guest_deinit
 };