From: Peter Dinda <pdinda@northwestern.edu>
Date: Thu, 7 Apr 2011 21:13:15 +0000 (-0500)
Subject: Added interface for device checkpoint and restore
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=1e9ba89f90e30c3221006251fc75918071868ce3;p=palacios.git

Added interface for device checkpoint and restore
---

diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h
index 1e3f68b..383aebd 100644
--- a/palacios/include/palacios/vmm_dev_mgr.h
+++ b/palacios/include/palacios/vmm_dev_mgr.h
@@ -29,7 +29,7 @@
 #include <palacios/vmm_msr.h>
 #include <palacios/vmm_config.h>
 #include <palacios/vmm_ethernet.h>
-
+#include <palacios/vmm_keyed_stream.h>
 
 struct v3_vm_info;
 
@@ -106,8 +106,8 @@ int V3_deinit_devices();
 struct v3_device_ops {
     int (*free)(void * private_data);
 
-    //int (*save)(struct vm_device *dev, struct *iostream);
-    //int (*restore)(struct vm_device *dev, struct *iostream);
+    int (*checkpoint)(struct vm_device *dev, v3_keyed_stream_t stream);
+    int (*restore)(struct vm_device *dev, v3_keyed_stream_t stream);
 };