palacios/src/devices/tmpdisk.c

   1 /*
   2  * This file is part of the Palacios Virtual Machine Monitor developed
   3  * by the V3VEE Project with funding from the United States National
   4  * Science Foundation and the Department of Energy.
   5  *
   6  * The V3VEE Project is a joint project between Northwestern University
   7  * and the University of New Mexico.  You can find out more at
   8  * http://www.v3vee.org
   9  *
  10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
  11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  12  * All rights reserved.
  13  *
  14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
  15  *
  16  * This is free software.  You are permitted to use,
  17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  18  */
  19
  20 #include <palacios/vmm.h>
  21 #include <palacios/vmm_dev_mgr.h>
  22
  23
  24 struct blk_state {
  25     uint64_t capacity;
  26     addr_t blk_base_addr;
  27     uint8_t * blk_space;
  28 };
  29
  30
  31
  32 static uint64_t blk_get_capacity(void * private_data) {
  33     struct blk_state * blk = (struct blk_state *)private_data;
  34
  35     //  PrintDebug("SymBlk: Getting Capacity %d\n", (uint32_t)(blk->capacity));
  36
  37     return blk->capacity;
  38 }
  39
  40
  41
  42 static int blk_read(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
  43     struct blk_state * blk = (struct blk_state *)private_data;
  44
  45     //    PrintDebug("TmpDisk Reading %d bytes to %p (lba=%p)\n", (uint32_t)num_bytes, buf, (void *)(addr_t)lba);
  46
  47     if (lba + num_bytes > blk->capacity) {
  48         PrintError("TMPDISK Read past end of disk\n");
  49         return -1;
  50     }
  51
  52     memcpy(buf, blk->blk_space + lba, num_bytes);
  53
  54     return 0;
  55 }
  56
  57
  58
  59
  60 static int blk_write(uint8_t * buf,  uint64_t lba, uint64_t num_bytes, void * private_data) {
  61     struct blk_state * blk = (struct blk_state *)private_data;
  62
  63     //    PrintDebug("TmpDisk Writing %d bytes to %p (lba=%p)\n", (uint32_t)num_bytes, buf, (void *)(addr_t)lba);
  64
  65     if (lba + num_bytes > blk->capacity) {
  66         PrintError("TMPDISK Write past end of disk\n");
  67         return -1;
  68     }
  69
  70     memcpy(blk->blk_space + lba, buf, num_bytes);
  71
  72     return 0;
  73 }
  74
  75
  76 static int blk_free(struct vm_device * dev) {
  77     return -1;
  78 }
  79
  80
  81 static struct v3_dev_blk_ops blk_ops = {
  82     .read = blk_read,
  83     .write = blk_write,
  84     .get_capacity = blk_get_capacity,
  85 };
  86
  87
  88
  89 static struct v3_device_ops dev_ops = {
  90     .free = blk_free,
  91
  92 };
  93
  94
  95
  96
  97 static int blk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
  98     struct blk_state * blk = NULL;
  99     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
 100     char * dev_id = v3_cfg_val(cfg, "ID");
 101     uint64_t capacity = atoi(v3_cfg_val(cfg, "size")) * 1024 * 1024;
 102
 103     if (!frontend_cfg) {
 104         PrintError("Frontend Configuration not present\n");
 105         return -1;
 106     }
 107
 108     PrintDebug("Intializing TMPDISK (capacity=%d)\n", (uint32_t)capacity);
 109
 110
 111     blk = (struct blk_state *)V3_Malloc(sizeof(struct blk_state));
 112
 113     blk->capacity = capacity;
 114
 115     blk->blk_base_addr = (addr_t)V3_AllocPages(blk->capacity / 4096);
 116     blk->blk_space = (uint8_t *)V3_VAddr((void *)(blk->blk_base_addr));
 117     memset(blk->blk_space, 0, capacity);
 118
 119
 120     struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, blk);
 121
 122     if (v3_attach_device(vm, dev) == -1) {
 123         PrintError("Could not attach device %s\n", dev_id);
 124         return -1;
 125     }
 126
 127     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"),
 128                            &blk_ops, frontend_cfg, blk) == -1) {
 129         PrintError("Could not connect %s to frontend %s\n",
 130                    dev_id, v3_cfg_val(frontend_cfg, "tag"));
 131         return -1;
 132     }
 133
 134
 135     return 0;
 136 }
 137
 138 device_register("TMPDISK", blk_init)