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     .reset = NULL,
  92     .start = NULL,
  93     .stop = NULL,
  94 };
  95
  96
  97
  98
  99 static int blk_init(struct guest_info * vm, v3_cfg_tree_t * cfg) {
 100     struct blk_state * blk = NULL;
 101     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
 102     char * name = v3_cfg_val(cfg, "name");
 103     uint64_t capacity = atoi(v3_cfg_val(cfg, "size")) * 1024 * 1024;
 104
 105     if (!frontend_cfg) {
 106         PrintError("Frontend Configuration not present\n");
 107         return -1;
 108     }
 109
 110     PrintDebug("Intializing TMPDISK (capacity=%d)\n", (uint32_t)capacity);
 111
 112
 113     blk = (struct blk_state *)V3_Malloc(sizeof(struct blk_state));
 114
 115     blk->capacity = capacity;
 116
 117     blk->blk_base_addr = (addr_t)V3_AllocPages(blk->capacity / 4096);
 118     blk->blk_space = (uint8_t *)V3_VAddr((void *)(blk->blk_base_addr));
 119     memset(blk->blk_space, 0, capacity);
 120
 121
 122     struct vm_device * dev = v3_allocate_device(name, &dev_ops, blk);
 123
 124     if (v3_attach_device(vm, dev) == -1) {
 125         PrintError("Could not attach device %s\n", name);
 126         return -1;
 127     }
 128
 129     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"),
 130                            &blk_ops, frontend_cfg, blk) == -1) {
 131         PrintError("Could not connect %s to frontend %s\n",
 132                    name, v3_cfg_val(frontend_cfg, "tag"));
 133         return -1;
 134     }
 135
 136
 137     return 0;
 138 }
 139
 140 device_register("TMPDISK", blk_init)