static void * debug_open_chkpt(char * url, chkpt_mode_t mode) {
if (mode == LOAD) {
- V3_Print("Cannot load from debug store\n");
+ V3_Print(VM_NONE, VCORE_NONE, "Cannot load from debug store\n");
return NULL;
}
- V3_Print("Opening Checkpoint: %s\n", url);
+ V3_Print(VM_NONE, VCORE_NONE, "Opening Checkpoint: %s\n", url);
return (void *)1;
}
static int debug_close_chkpt(void * store_data) {
- V3_Print("Closing Checkpoint\n");
+ V3_Print(VM_NONE, VCORE_NONE, "Closing Checkpoint\n");
return 0;
}
static void * debug_open_ctx(void * store_data,
- void * parent_ctx,
char * name) {
- V3_Print("[%s]\n", name);
+ V3_Print(VM_NONE, VCORE_NONE, "[%s]\n", name);
return (void *)1;
}
static int debug_close_ctx(void * store_data, void * ctx) {
- V3_Print("[CLOSE]\n");
+ V3_Print(VM_NONE, VCORE_NONE, "[CLOSE]\n");
return 0;
}
static int debug_save(void * store_data, void * ctx,
char * tag, uint64_t len, void * buf) {
- V3_Print("%s:\n", tag);
+ V3_Print(VM_NONE, VCORE_NONE, "%s:\n", tag);
if (len > 100) {
len = 100;
static int debug_load(void * store_data, void * ctx,
char * tag, uint64_t len, void * buf) {
- V3_Print("Loading not supported !!!\n");
+ V3_Print(VM_NONE, VCORE_NONE, "Loading not supported !!!\n");
return 0;
}
-
#ifdef V3_CONFIG_KEYED_STREAMS
#include <interfaces/vmm_keyed_stream.h>
}
static void * keyed_stream_open_ctx(void * store_data,
- void * parent_ctx,
char * name) {
v3_keyed_stream_t stream = store_data;
static int keyed_stream_save(void * store_data, void * ctx,
char * tag, uint64_t len, void * buf) {
- if (v3_keyed_stream_write_key(store_data, ctx, buf, len) != len) {
- return -1;
- } else {
- return 0;
- }
+ if (v3_keyed_stream_write_key(store_data, ctx, tag, strlen(tag), buf, len) != len) {
+ return -1;
+ } else {
+ return 0;
+ }
}
static int keyed_stream_load(void * store_data, void * ctx,
char * tag, uint64_t len, void * buf) {
- if (v3_keyed_stream_read_key(store_data, ctx, buf, len) != len) {
- return -1;
- } else {
- return 0;
- }
+ if (v3_keyed_stream_read_key(store_data, ctx, tag, strlen(tag), buf, len) != len) {
+ return -1;
+ } else {
+ return 0;
+ }
}
}
static void * dir_open_ctx(void * store_data,
- void * parent_ctx,
char * name) {
char * url = store_data;
ctx = V3_Malloc(sizeof(struct file_ctx));
if (!ctx) {
- PrintError("Cannot allocate\n");
+ PrintError(VM_NONE, VCORE_NONE, "Cannot allocate\n");
return NULL;
}
ctx->filename = V3_Malloc(strlen(url) + strlen(name) + 5);
if (!ctx->filename) {
- PrintError("Cannot allocate\n");
+ PrintError(VM_NONE, VCORE_NONE, "Cannot allocate\n");
V3_Free(ctx);
return NULL;
}