X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_dev_mgr.h;h=87f62fc880941124837cad439a7cca97d56299bf;hb=382829fe58cb541af371547325c5502e37032ecd;hp=cd1d2effbae639431b18dda4e35e0391fabd3be3;hpb=0a7690f54cb5bda83780dac26ce433ad24b1d766;p=palacios.git diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h index cd1d2ef..87f62fc 100644 --- a/palacios/include/palacios/vmm_dev_mgr.h +++ b/palacios/include/palacios/vmm_dev_mgr.h @@ -29,7 +29,6 @@ #include #include #include -#include struct v3_vm_info; @@ -103,11 +102,17 @@ int V3_init_devices(); int V3_deinit_devices(); +#ifdef V3_CONFIG_KEYED_STREAMS +#include +#endif + struct v3_device_ops { int (*free)(void * private_data); +#ifdef V3_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 }; @@ -174,11 +179,10 @@ struct v3_dev_blk_ops { struct v3_dev_net_ops { /* Backend implemented functions */ - int (*send)(uint8_t * buf, uint32_t count, void * private_data); + int (*send)(uint8_t * buf, uint32_t len, int synchronize, void * private_data); /* Frontend implemented functions */ - int (*recv)(uint8_t * buf, uint32_t count, void * frnt_data); - void (*poll)(struct v3_vm_info * vm, int budget, void * frnt_data); + int (*recv)(uint8_t * buf, uint32_t len, void * frnt_data); /* This is ugly... */ void * frontend_data;