struct pci_device * dev = NULL;
struct v3_chkpt_ctx * bus_ctx = NULL;
- snprintf(buf, 128, "pci-%d\n", i);
+ snprintf(buf, 128, "pci-%d", i);
bus_ctx = v3_chkpt_open_ctx(ctx->chkpt, ctx, buf);
struct pci_device * dev = NULL;
struct v3_chkpt_ctx * bus_ctx = NULL;
- snprintf(buf, 128, "pci-%d\n", i);
+ snprintf(buf, 128, "pci-%d", i);
bus_ctx = v3_chkpt_open_ctx(ctx->chkpt, ctx, buf);
static int pci_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
struct pci_internal * pci_state = V3_Malloc(sizeof(struct pci_internal));
+
+ if (!pci_state) {
+ PrintError("Cannot allocate in init\n");
+ return -1;
+ }
+
int i = 0;
char * dev_id = v3_cfg_val(cfg, "ID");
int ret = 0;