#include <palacios/vmm_config.h>
#include <palacios/vmm_ethernet.h>
-
struct v3_vm_info;
struct v3_device_ops;
int V3_deinit_devices();
+#ifdef CONFIG_KEYED_STREAMS
+#include <interfaces/vmm_keyed_stream.h>
+#endif
+
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);
+#ifdef CONFIG_KEYED_STREAMS
+ int (*checkpoint)(struct vm_device *dev, v3_keyed_stream_t stream);
+ int (*restore)(struct vm_device *dev, v3_keyed_stream_t stream);
+#endif
};
struct v3_dev_net_ops {
/* Backend implemented functions */
int (*send)(uint8_t * buf, uint32_t count, void * private_data);
- void (*start_rx)(void * back_data);
- void (*stop_rx)(void * back_data);
/* Frontend implemented functions */
int (*recv)(uint8_t * buf, uint32_t count, void * frnt_data);
- void (*poll)(struct v3_vm_info * vm, void * frnt_data);
- void (*start_tx)(void * frnt_data);
- void (*stop_tx)(void * frnt_data);
+ void (*poll)(struct v3_vm_info * vm, int budget, void * frnt_data);
/* This is ugly... */
void * frontend_data;