checkpoint changes to get "reset to BIOS" working.

[palacios.git] / linux_module / palacios.h

diff --git a/linux_module/palacios.h b/linux_module/palacios.h
index d96739c..1ac8c03 100644 (file)
--- a/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@ -78,9 +78,6 @@ struct v3_guest {
     struct rb_root vm_ctrls;
     struct list_head exts;
 
-    struct completion start_done;
-    struct completion thread_done;
-
     dev_t vm_dev; 
     struct cdev cdev;
 };