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.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
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.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #include <palacios/vmm.h>
21 #include <palacios/vmm_dev_mgr.h>
24 #ifndef V3_CONFIG_DEBUG_RAMDISK
26 #define PrintDebug(fmt, args...)
31 uint32_t capacity; // in bytes
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;
38 PrintDebug("Reading %d bytes from %p to %p\n", (uint32_t)num_bytes, (uint8_t *)(disk->disk_image + lba), buf);
40 if (lba + num_bytes > disk->capacity) {
41 PrintError("read out of bounds: lba=%llu (%p), num_bytes=%llu, capacity=%d (%p)\n",
42 lba, (void *)(addr_t)lba, num_bytes, disk->capacity, (void *)(addr_t)disk->capacity);
46 memcpy(buf, (uint8_t *)(disk->disk_image + lba), num_bytes);
52 static int write(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
53 struct disk_state * disk = (struct disk_state *)private_data;
55 PrintDebug("Writing %d bytes from %p to %p\n", (uint32_t)num_bytes, buf, (uint8_t *)(disk->disk_image + lba));
57 if (lba + num_bytes > disk->capacity) {
58 PrintError("write out of bounds: lba=%llu (%p), num_bytes=%llu, capacity=%d (%p)\n",
59 lba, (void *)(addr_t)lba, num_bytes, disk->capacity, (void *)(addr_t)disk->capacity);
64 memcpy((uint8_t *)(disk->disk_image + lba), buf, num_bytes);
70 static uint64_t get_capacity(void * private_data) {
71 struct disk_state * disk = (struct disk_state *)private_data;
73 PrintDebug("Querying RAMDISK capacity %d\n",
74 (uint32_t)(disk->capacity));
76 return disk->capacity;
79 static struct v3_dev_blk_ops blk_ops = {
82 .get_capacity = get_capacity,
88 static int disk_free(struct disk_state * state) {
94 static struct v3_device_ops dev_ops = {
95 .free = (int (*)(void *))disk_free,
101 static int disk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
102 struct disk_state * disk = NULL;
103 struct v3_cfg_file * file = NULL;
104 char * dev_id = v3_cfg_val(cfg, "ID");
105 char * filename = v3_cfg_val(cfg, "file");
107 v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
110 PrintError("Missing filename (%s) for %s\n", filename, dev_id);
114 file = v3_cfg_get_file(vm, filename);
117 PrintError("Invalid ramdisk file: %s\n", filename);
122 disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
123 memset(disk, 0, sizeof(struct disk_state));
125 disk->disk_image = file->data;
126 disk->capacity = file->size;
127 PrintDebug("Registering RAMDISK at %p (size=%d)\n",
128 (void *)file->data, (uint32_t)file->size);
131 struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, disk);
134 PrintError("Could not attach device %s\n", dev_id);
140 if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"),
141 &blk_ops, frontend_cfg, disk) == -1) {
142 PrintError("Could not connect %s to frontend %s\n",
143 dev_id, v3_cfg_val(frontend_cfg, "tag"));
144 v3_remove_device(dev);
153 device_register("RAMDISK", disk_init)