Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


device fixes for bugs introduced with new configuration system
[palacios.git] / 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     if (lba + num_bytes > blk->capacity) {
46         PrintError("TMPDISK Read past end of disk\n");
47         return -1;
48     }
49
50     memcpy(buf, blk->blk_space + lba, num_bytes);
51
52     return 0;
53 }
54
55
56
57
58 static int blk_write(uint8_t * buf,  uint64_t lba, uint64_t num_bytes, void * private_data) {
59     struct blk_state * blk = (struct blk_state *)private_data;
60
61     if (lba + num_bytes > blk->capacity) {
62         PrintError("TMPDISK Write past end of disk\n");
63         return -1;
64     }
65
66     memcpy(blk->blk_space + lba, buf, num_bytes);
67
68     return 0;
69 }
70
71
72 static int blk_free(struct vm_device * dev) {
73     return -1;
74 }
75
76
77 static struct v3_dev_blk_ops blk_ops = {
78     .read = blk_read, 
79     .write = blk_write, 
80     .get_capacity = blk_get_capacity,
81 };
82
83
84
85 static struct v3_device_ops dev_ops = {
86     .free = blk_free,
87     .reset = NULL,
88     .start = NULL,
89     .stop = NULL,
90 };
91
92
93
94
95 static int blk_init(struct guest_info * vm, v3_cfg_tree_t * cfg) {
96     struct blk_state * blk = NULL;
97     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
98     char * name = v3_cfg_val(cfg, "name");
99     uint64_t capacity = atoi(v3_cfg_val(cfg, "size")) * 1024 * 1024;
100     
101     if (!frontend_cfg) {
102         PrintError("Frontend Configuration not present\n");
103         return -1;
104     }
105
106     PrintDebug("Intializing TMPDISK (capacity=%d)\n", (uint32_t)capacity);
107
108
109     blk = (struct blk_state *)V3_Malloc(sizeof(struct blk_state));
110
111     blk->capacity = capacity;
112     
113     blk->blk_base_addr = (addr_t)V3_AllocPages(blk->capacity / 4096);
114     blk->blk_space = (uint8_t *)V3_VAddr((void *)(blk->blk_base_addr));
115     memset(blk->blk_space, 0, capacity);
116
117
118     struct vm_device * dev = v3_allocate_device(name, &dev_ops, blk);
119
120     if (v3_attach_device(vm, dev) == -1) {
121         PrintError("Could not attach device %s\n", name);
122         return -1;
123     }
124
125     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"), 
126                            &blk_ops, frontend_cfg, blk) == -1) {
127         PrintError("Could not connect %s to frontend %s\n", 
128                    name, v3_cfg_val(frontend_cfg, "tag"));
129         return -1;
130     }
131
132
133     return 0;
134 }
135
136 device_register("TMPDISK", blk_init)