#include <palacios/vmm_hashtable.h>
#include <palacios/vmm_msr.h>
#include <palacios/vmm_config.h>
-#include <palacios/vmm_ethernet.h>
#ifdef V3_CONFIG_CHECKPOINT
#include <palacios/vmm_checkpoint.h>
int (*free)(void * private_data);
#ifdef V3_CONFIG_CHECKPOINT
- int (*save)(struct v3_chkpt_ctx * ctx, void * private_data);
- int (*load)(struct v3_chkpt_ctx * ctx, void * privata_data);
+ /*
+ Both the base and extended save/load functions are optional.
+ If save_extended is defined, then it will be called in
+ preference to save. The idea is that with "save", the caller
+ opens the context using the name of the device, and expects
+ the callee to write it and then return. With "save_extended"
+ the caller passes the checkpoint store and the device name
+ to the callee. The callee is then expected to open
+ contexts as desired, write to them, and then close them
+ before returning. Load and load/extended are symmetric.
+ */
+
+ int (*save)(struct v3_chkpt_ctx * ctx, void * private_data);
+ int (*load)(struct v3_chkpt_ctx * ctx, void * privata_data);
+ int (*save_extended)(struct v3_chkpt * chkpt, char * id, void * private_data);
+ int (*load_extended)(struct v3_chkpt * chkpt, char * id, void * privata_data);
#endif
};
struct v3_dev_blk_ops {
uint64_t (*get_capacity)(void * private_data);
// Reads always operate on 2048 byte blocks
+
+ // how does this signal bytes_read < requested but not error?
+
int (*read)(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data);
int (*write)(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data);
};
struct v3_dev_char_ops {
/* Backend implemented functions */
- uint64_t (*output)(uint8_t * buf, uint64_t len, void * private_data);
+ sint64_t (*output)(uint8_t * buf, sint64_t len, void * private_data);
// int (*read)(uint8_t * buf, uint64_t len, void * private_data);
/* Frontend Implemented functions */
- uint64_t (*input)(struct v3_vm_info * vm, uint8_t * buf, uint64_t len, void * private_data);
+ sint64_t (*input)(struct v3_vm_info * vm, uint8_t * buf, sint64_t len, void * private_data);
};