palacios/src/devices/ramdisk.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 #ifndef CONFIG_DEBUG_RAMDISK
  25 #undef PrintDebug
  26 #define PrintDebug(fmt, args...)
  27 #endif
  28
  29 struct disk_state {
  30     uint8_t * disk_image;
  31     uint32_t capacity; // in bytes
  32 };
  33
  34
  35 static int read(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
  36     struct disk_state * disk = (struct disk_state *)private_data;
  37
  38     PrintDebug("Reading %d bytes from %p to %p\n", (uint32_t)num_bytes, (uint8_t *)(disk->disk_image + lba), buf);
  39
  40     memcpy(buf, (uint8_t *)(disk->disk_image + lba), num_bytes);
  41
  42     return 0;
  43 }
  44
  45
  46 static int write(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
  47     struct disk_state * disk = (struct disk_state *)private_data;
  48
  49     PrintDebug("Writing %d bytes from %p to %p\n", (uint32_t)num_bytes,  buf, (uint8_t *)(disk->disk_image + lba));
  50
  51     memcpy((uint8_t *)(disk->disk_image + lba), buf, num_bytes);
  52
  53     return 0;
  54 }
  55
  56
  57 static uint64_t get_capacity(void * private_data) {
  58     struct disk_state * disk = (struct disk_state *)private_data;
  59
  60     PrintDebug("Querying RAMDISK capacity %d\n",
  61                (uint32_t)(disk->capacity));
  62
  63     return disk->capacity;
  64 }
  65
  66 static struct v3_dev_blk_ops blk_ops = {
  67     .read = read,
  68     .write = write,
  69     .get_capacity = get_capacity,
  70 };
  71
  72
  73
  74
  75 static int disk_free(struct vm_device * dev) {
  76     return 0;
  77 }
  78
  79 static struct v3_device_ops dev_ops = {
  80     .free = disk_free,
  81 };
  82
  83
  84
  85
  86 static int disk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
  87     struct disk_state * disk = NULL;
  88     struct v3_cfg_file * file = NULL;
  89     char * dev_id = v3_cfg_val(cfg, "ID");
  90     char * filename = v3_cfg_val(cfg, "file");
  91
  92     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
  93
  94     disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
  95     memset(disk, 0, sizeof(struct disk_state));
  96
  97
  98     if (!filename) {
  99         PrintError("Missing filename (%s) for %s\n", filename, dev_id);
 100         return -1;
 101     }
 102
 103     file = v3_cfg_get_file(vm, filename);
 104
 105     if (!file) {
 106         PrintError("Invalid ramdisk file: %s\n", filename);
 107         return -1;
 108     }
 109
 110     disk->disk_image = file->data;
 111     disk->capacity = file->size;
 112     PrintDebug("Registering RAMDISK at %p (size=%d)\n",
 113                (void *)file->data, (uint32_t)file->size);
 114
 115     struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, disk);
 116
 117     if (v3_attach_device(vm, dev) == -1) {
 118         PrintError("Could not attach device %s\n", dev_id);
 119         return -1;
 120     }
 121
 122     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"),
 123                            &blk_ops, frontend_cfg, disk) == -1) {
 124         PrintError("Could not connect %s to frontend %s\n",
 125                    dev_id, v3_cfg_val(frontend_cfg, "tag"));
 126         return -1;
 127     }
 128
 129
 130     return 0;
 131 }
 132
 133
 134 device_register("RAMDISK", disk_init)