1 #include <geekos/vmm_mem.h>
2 #include <geekos/vmm.h>
3 #include <geekos/vmm_util.h>
5 extern struct vmm_os_hooks * os_hooks;
8 void init_shadow_map_entry(shadow_map_entry_t *entry,
9 addr_t guest_addr_start,
10 addr_t guest_addr_end,
11 guest_region_type_t guest_region_type,
12 host_region_type_t host_region_type)
14 entry->guest_type=guest_region_type;
15 entry->guest_start=guest_addr_start;
16 entry->guest_end=guest_addr_end;
17 entry->host_type=host_region_type;
18 entry->next=entry->prev=NULL;
21 void init_shadow_map_entry_physical(shadow_map_entry_t *entry,
22 addr_t guest_addr_start,
23 addr_t guest_addr_end,
24 guest_region_type_t guest_region_type,
25 addr_t host_addr_start,
27 host_region_type_t host_region_type)
29 init_shadow_map_entry(entry,guest_addr_start,guest_addr_end,guest_region_type,host_region_type);
30 entry->host_addr.phys_addr.host_start=host_addr_start;
31 entry->host_addr.phys_addr.host_end=host_addr_end;
35 void init_shadow_map(shadow_map_t * map)
43 void free_shadow_map(shadow_map_t * map) {
44 shadow_map_entry_t * cursor = map->head;
45 shadow_map_entry_t * tmp = NULL;
49 cursor = cursor->next;
59 /* This is slightly different semantically from the mem list, in that
60 * we don't allow overlaps we could probably allow overlappig regions
61 * of the same type... but I'll let someone else deal with that
63 int add_shadow_map_region(shadow_map_t * map,
64 shadow_map_entry_t * region)
66 shadow_map_entry_t * cursor = map->head;
68 if ((!cursor) || (cursor->guest_start >= region->guest_end)) {
70 region->next = cursor;
77 // Check if it overlaps with the current cursor
78 if ((cursor->guest_end > region->guest_start) && (cursor->guest_start < region->guest_start)) {
79 // overlaps not allowed
83 if (!(cursor->next)) {
84 // add to the end of the list
85 cursor->next = region;
86 region->prev = cursor;
90 } else if (cursor->next->guest_start >= region->guest_end) {
92 region->next = cursor->next;
93 region->prev = cursor;
95 cursor->next->prev = region;
96 cursor->next = region;
101 } else if (cursor->next->guest_end < region->guest_start) {
102 cursor = cursor->next;
104 // This cannot happen!
105 // we should panic here
110 // This cannot happen
111 // We should panic here
116 int delete_shadow_map_region(shadow_map_t *map,
125 shadow_map_entry_t *get_shadow_map_region_by_index(shadow_map_t * map,
128 shadow_map_entry_t * reg = map->head;
142 shadow_map_entry_t * get_shadow_map_region_by_addr(shadow_map_t *map,
145 shadow_map_entry_t * reg = map->head;
149 if ((reg->guest_start <= addr) && (reg->guest_end > addr)) {
151 } else if (reg->guest_start > addr) {
162 int map_guest_physical_to_host_physical(shadow_map_entry_t *entry,
166 if (!(guest_addr>=entry->guest_start && guest_addr<entry->guest_end)) {
170 switch (entry->host_type) {
171 case HOST_REGION_PHYSICAL_MEMORY:
172 case HOST_REGION_MEMORY_MAPPED_DEVICE:
173 case HOST_REGION_UNALLOCATED:
174 *host_addr=(guest_addr-entry->guest_start) + entry->host_addr.phys_addr.host_start;
184 void print_shadow_map(shadow_map_t *map) {
185 shadow_map_entry_t * cur = map->head;
188 PrintDebug("Memory Layout (regions: %d) \n", map->num_regions);
191 PrintDebug("%d: 0x%x - 0x%x (%s) -> ", i, cur->guest_start, cur->guest_end -1,
192 cur->guest_type == GUEST_REGION_PHYSICAL_MEMORY ? "GUEST_REGION_PHYSICAL_MEMORY" :
193 cur->guest_type == GUEST_REGION_NOTHING ? "GUEST_REGION_NOTHING" :
194 cur->guest_type == GUEST_REGION_MEMORY_MAPPED_DEVICE ? "GUEST_REGION_MEMORY_MAPPED_DEVICE" :
196 if (cur->host_type==HOST_REGION_PHYSICAL_MEMORY ||
197 cur->host_type==HOST_REGION_UNALLOCATED ||
198 cur->host_type==HOST_REGION_MEMORY_MAPPED_DEVICE) {
199 PrintDebug("0x%x - 0x%x ", cur->host_addr.phys_addr.host_start, cur->host_addr.phys_addr.host_end);
202 cur->host_type == HOST_REGION_PHYSICAL_MEMORY ? "HOST_REGION_PHYSICAL_MEMORY" :
203 cur->host_type == HOST_REGION_UNALLOCATED ? "HOST_REGION_UNALLOACTED" :
204 cur->host_type == HOST_REGION_NOTHING ? "HOST_REGION_NOTHING" :
205 cur->host_type == HOST_REGION_MEMORY_MAPPED_DEVICE ? "HOST_REGION_MEMORY_MAPPED_DEVICE" :
206 cur->host_type == HOST_REGION_REMOTE ? "HOST_REGION_REMOTE" :
207 cur->host_type == HOST_REGION_SWAPPED ? "HOST_REGION_SWAPPED" :
234 struct vmm_os_hooks * os_hooks;
236 void * TestMalloc(uint_t size) {
240 void * TestAllocatePages(int size) {
241 return malloc(4096 * size);
245 void TestPrint(const char * fmt, ...) {
253 int mem_list_add_test_1( vmm_mem_list_t * list) {
257 PrintDebug("\n\nTesting Memory List\n");
261 offset = PAGE_SIZE * 6;
262 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 10));
263 add_mem_list_pages(list, offset, 10);
264 print_mem_list(list);
268 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + PAGE_SIZE * 4);
269 add_mem_list_pages(list, offset, 4);
270 print_mem_list(list);
272 offset = PAGE_SIZE * 20;
273 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 1));
274 add_mem_list_pages(list, offset, 1);
275 print_mem_list(list);
277 offset = PAGE_SIZE * 21;
278 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 3));
279 add_mem_list_pages(list, offset, 3);
280 print_mem_list(list);
283 offset = PAGE_SIZE * 10;
284 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 30));
285 add_mem_list_pages(list, offset, 30);
286 print_mem_list(list);
289 offset = PAGE_SIZE * 5;
290 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 1));
291 add_mem_list_pages(list, offset, 1);
292 print_mem_list(list);
300 int mem_layout_add_test_1(vmm_mem_layout_t *layout) {
306 PrintDebug("\n\nTesting Memory Layout\n");
308 init_mem_layout(layout);
312 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
313 add_guest_mem_range(layout, start, end);
314 print_mem_layout(layout);
319 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
320 add_guest_mem_range(layout, start, end);
321 print_mem_layout(layout);
325 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
326 add_guest_mem_range(layout, start, end);
327 print_mem_layout(layout);
331 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
332 add_guest_mem_range(layout, start, end);
333 print_mem_layout(layout);
338 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
339 add_guest_mem_range(layout, start, end);
340 print_mem_layout(layout);
350 int main(int argc, char ** argv) {
351 struct vmm_os_hooks dummy_hooks;
352 os_hooks = &dummy_hooks;
354 vmm_mem_layout_t layout;
357 os_hooks->malloc = &TestMalloc;
358 os_hooks->free = &free;
359 os_hooks->print_debug = &TestPrint;
360 os_hooks->allocate_pages = &TestAllocatePages;
364 printf("mem_list_add_test_1: %d\n", mem_list_add_test_1(&list));
365 printf("layout_add_test_1: %d\n", mem_layout_add_test_1(&layout));