X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ftmpdisk.c;fp=palacios%2Fsrc%2Fdevices%2Ftmpdisk.c;h=a40aa556903b2eb6ae02a81f5ea0b749b35212f5;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hp=0000000000000000000000000000000000000000;hpb=0e097100a26bc43eb8964734fa43130fc4c71429;p=palacios.git

diff --git a/palacios/src/devices/tmpdisk.c b/palacios/src/devices/tmpdisk.c
new file mode 100644
index 0000000..a40aa55
--- /dev/null
+++ b/palacios/src/devices/tmpdisk.c
@@ -0,0 +1,126 @@
+/* 
+ * This file is part of the Palacios Virtual Machine Monitor developed
+ * by the V3VEE Project with funding from the United States National 
+ * Science Foundation and the Department of Energy.  
+ *
+ * The V3VEE Project is a joint project between Northwestern University
+ * and the University of New Mexico.  You can find out more at 
+ * http://www.v3vee.org
+ *
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org> 
+ * All rights reserved.
+ *
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
+ *
+ * This is free software.  You are permitted to use,
+ * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
+ */
+
+#include <palacios/vmm.h>
+#include <palacios/vmm_dev_mgr.h>
+
+
+struct blk_state {
+    uint64_t capacity;
+    uint8_t * blk_space;
+    addr_t blk_base_addr;
+};
+
+
+
+static uint64_t blk_get_capacity(void * private_data) {
+    struct blk_state * blk = (struct blk_state *)private_data;
+
+    PrintDebug("SymBlk: Getting Capacity %d\n", (uint32_t)(blk->capacity));
+
+    return blk->capacity;
+}
+
+
+
+static int blk_read(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
+    struct blk_state * blk = (struct blk_state *)private_data;
+
+    memcpy(buf, blk->blk_space + lba, num_bytes);
+
+    return 0;
+}
+
+
+
+
+static int blk_write(uint8_t * buf,  uint64_t lba, uint64_t num_bytes, void * private_data) {
+    struct blk_state * blk = (struct blk_state *)private_data;
+
+    memcpy(blk->blk_space + lba, buf, num_bytes);
+
+    return 0;
+}
+
+
+static int blk_free(struct vm_device * dev) {
+    return -1;
+}
+
+
+static struct v3_dev_blk_ops blk_ops = {
+    .read = blk_read, 
+    .write = blk_write, 
+    .get_capacity = blk_get_capacity,
+};
+
+
+
+static struct v3_device_ops dev_ops = {
+    .free = blk_free,
+    .reset = NULL,
+    .start = NULL,
+    .stop = NULL,
+};
+
+
+
+
+static int blk_init(struct guest_info * vm, v3_cfg_tree_t * cfg) {
+    struct blk_state * blk = NULL;
+    v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
+    char * name = v3_cfg_val(cfg, "name");
+    uint64_t capacity = atoi(v3_cfg_val(cfg, "size"));
+    
+    if (!frontend_cfg) {
+	PrintError("Frontend Configuration not present\n");
+	return -1;
+    }
+
+    PrintDebug("Creating Blk Device\n");
+
+
+    blk = (struct blk_state *)V3_Malloc(sizeof(struct blk_state) + ((capacity / 4096) / 8));
+
+    blk->capacity = capacity;
+
+    blk->blk_base_addr = (addr_t)V3_AllocPages(capacity / 4096);
+    blk->blk_space = (uint8_t *)V3_VAddr((void *)(blk->blk_base_addr));
+    memset(blk->blk_space, 0, capacity);
+
+
+    struct vm_device * dev = v3_allocate_device(name, &dev_ops, blk);
+
+    if (v3_attach_device(vm, dev) == -1) {
+	PrintError("Could not attach device %s\n", name);
+	return -1;
+    }
+
+    if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"), 
+			   &blk_ops, frontend_cfg, blk) == -1) {
+	PrintError("Could not connect %s to frontend %s\n", 
+		   name, v3_cfg_val(frontend_cfg, "tag"));
+	return -1;
+    }
+
+
+    return 0;
+}
+
+device_register("TMPDISK", blk_init)