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 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 memcpy(buf, (uint8_t *)(disk->disk_image + lba), num_bytes);
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;
49 PrintDebug("Writing %d bytes from %p to %p\n", (uint32_t)num_bytes, buf, (uint8_t *)(disk->disk_image + lba));
51 memcpy((uint8_t *)(disk->disk_image + lba), buf, num_bytes);
57 static uint64_t get_capacity(void * private_data) {
58 struct disk_state * disk = (struct disk_state *)private_data;
60 PrintDebug("Querying RAMDISK capacity %d\n",
61 (uint32_t)(disk->capacity));
63 return disk->capacity;
66 static struct v3_dev_blk_ops blk_ops = {
69 .get_capacity = get_capacity,
75 static int disk_free(struct vm_device * dev) {
79 static struct v3_device_ops dev_ops = {
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");
92 v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
94 disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
95 memset(disk, 0, sizeof(struct disk_state));
99 PrintError("Missing filename (%s) for %s\n", filename, dev_id);
103 file = v3_cfg_get_file(vm, filename);
106 PrintError("Invalid ramdisk file: %s\n", filename);
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);
115 struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, disk);
117 if (v3_attach_device(vm, dev) == -1) {
118 PrintError("Could not attach device %s\n", dev_id);
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"));
134 device_register("RAMDISK", disk_init)