+/*
+ * This file is part of the Palacios Virtual Machine Monitor developed
+ * by the V3VEE Project with funding from the United States National
+ * Science Foundation and the Department of Energy.
+ *
+ * The V3VEE Project is a joint project between Northwestern University
+ * and the University of New Mexico. You can find out more at
+ * http://www.v3vee.org
+ *
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
+ * All rights reserved.
+ *
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
+ *
+ * This is free software. You are permitted to use,
+ * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
+ */
+
+
#ifndef __VMM_MEM_H
#define __VMM_MEM_H
#include <palacios/vmm_types.h>
#include <palacios/vmm_paging.h>
+#include <palacios/vmm_rbtree.h>
+#include <palacios/vmm_list.h>
struct guest_info;
+struct v3_vm_info;
-/*
-
- Guest Shadow Host
- Virtual Physical Virtual Physical Virtual Physical
- OK OK
- OK NOK
- NOK OK
- NOK NOK
-*/
+#define V3_MEM_CORE_ANY ((uint16_t)-1)
-// These are the types of physical memory address regions
-// from the perspective of the guest
-typedef enum guest_region_type {
- GUEST_REGION_NOTHING,
- GUEST_REGION_PHYSICAL_MEMORY,
- GUEST_REGION_MEMORY_MAPPED_DEVICE} guest_region_type_t;
-// These are the types of physical memory address regions
-// from the perspective of the HOST
-typedef enum host_region_type {
- HOST_REGION_INVALID, // This region is INVALID (this is a return type, to denote errors)
- HOST_REGION_HOOK, // This region is mapped as not present (always generate page faults)
- HOST_REGION_PHYSICAL_MEMORY, // Region is a section of host memory
- HOST_REGION_MEMORY_MAPPED_DEVICE, // Region is allocated for DMA
- HOST_REGION_UNALLOCATED, // Region is mapped on demand
- HOST_REGION_REMOTE, // Region is located on a remote machine
- HOST_REGION_SWAPPED, // Region is swapped
-} host_region_type_t;
+typedef struct {
+ union {
+ uint16_t value;
+ struct {
+ // These reflect the VMM's intent for the shadow or nested pts
+ // that will implement the region. The guest's intent is in
+ // its own page tables.
+ uint8_t read : 1;
+ uint8_t write : 1;
+ uint8_t exec : 1;
+ uint8_t base : 1;
+ uint8_t alloced : 1;
+ } __attribute__((packed));
+ } __attribute__((packed));
+} __attribute__((packed)) v3_mem_flags_t;
-#define shadow_mem_type_t host_region_type_t
-struct shadow_region {
- guest_region_type_t guest_type;
- addr_t guest_start;
- addr_t guest_end;
+struct v3_mem_region {
+ addr_t guest_start;
+ addr_t guest_end;
- host_region_type_t host_type;
- addr_t host_addr; // This either points to a host address mapping,
- // or a structure holding the map info
+ v3_mem_flags_t flags;
- struct shadow_region *next, *prev;
-};
+ addr_t host_addr; // This either points to a host address mapping
+ int (*unhandled)(struct guest_info * info, addr_t guest_va, addr_t guest_pa,
+ struct v3_mem_region * reg, pf_error_t access_info);
+ void * priv_data;
-struct shadow_map {
- uint_t num_regions;
+ int core_id;
- struct shadow_region * head;
+ struct rb_node tree_node; // This for memory regions mapped to the global map
};
-void init_shadow_region(struct shadow_region * entry,
- addr_t guest_addr_start,
- addr_t guest_addr_end,
- guest_region_type_t guest_region_type,
- host_region_type_t host_region_type);
+struct v3_mem_map {
+ struct v3_mem_region base_region;
-/*
-void init_shadow_region_physical(struct shadow_region * entry,
- addr_t guest_addr_start,
- addr_t guest_addr_end,
- guest_region_type_t guest_region_type,
- addr_t host_addr_start,
- host_region_type_t host_region_type);
-*/
-
-int add_shadow_region_passthrough(struct guest_info * guest_info,
- addr_t guest_addr_start,
- addr_t guest_addr_end,
- addr_t host_addr);
-
-void init_shadow_map(struct guest_info * info);
-void free_shadow_map(struct shadow_map * map);
-
-struct shadow_region * get_shadow_region_by_addr(struct shadow_map * map, addr_t guest_addr);
+ struct rb_root mem_regions;
+};
-struct shadow_region * get_shadow_region_by_index(struct shadow_map * map, uint_t index);
-host_region_type_t lookup_shadow_map_addr(struct shadow_map * map, addr_t guest_addr, addr_t * host_addr);
+int v3_init_mem_map(struct v3_vm_info * vm);
+void v3_delete_mem_map(struct v3_vm_info * vm);
-host_region_type_t get_shadow_addr_type(struct guest_info * info, addr_t guest_addr);
-addr_t get_shadow_addr(struct guest_info * info, addr_t guest_addr);
-// Semantics:
-// Adding a region that overlaps with an existing region results is undefined
-// and will probably fail
-int add_shadow_region(struct shadow_map * map, struct shadow_region * entry);
-// Semantics:
-// Deletions result in splitting
-int delete_shadow_region(struct shadow_map * map,
- addr_t guest_start,
- addr_t guest_end);
-void print_shadow_map(struct shadow_map * map);
+struct v3_mem_region * v3_create_mem_region(struct v3_vm_info * vm, uint16_t core_id,
+ addr_t guest_addr_start, addr_t guest_addr_end);
+int v3_insert_mem_region(struct v3_vm_info * vm, struct v3_mem_region * reg);
+void v3_delete_mem_region(struct v3_vm_info * vm, struct v3_mem_region * reg);
-struct vmm_mem_hook {
- // Called when data is read from a memory page
- int (*read)(addr_t guest_addr, void * dst, uint_t length, void * priv_data);
-
- // Called when data is written to a memory page
- int (*write)(addr_t guest_addr, void * src, uint_t length, void * priv_data);
- void * priv_data;
- struct shadow_region * region;
-};
+/* This is a shortcut function for creating + inserting a memory region which redirects to host memory */
+int v3_add_shadow_mem(struct v3_vm_info * vm, uint16_t core_id,
+ addr_t guest_addr_start, addr_t guest_addr_end, addr_t host_addr);
-struct vmm_mem_hook * get_mem_hook(struct guest_info * info, addr_t guest_addr);
+struct v3_mem_region * v3_get_mem_region(struct v3_vm_info * vm, uint16_t core_id, addr_t guest_addr);
-int hook_guest_mem(struct guest_info * info, addr_t guest_addr_start, addr_t guest_addr_end,
- int (*read)(addr_t guest_addr, void * dst, uint_t length, void * priv_data),
- int (*write)(addr_t guest_addr, void * src, uint_t length, void * priv_data),
- void * priv_data);
-int unhook_guest_mem(struct guest_info * info, addr_t guest_addr);
+uint32_t v3_get_max_page_size(struct guest_info * core, addr_t fault_addr, v3_cpu_mode_t mode);
+void v3_print_mem_map(struct v3_vm_info * vm);
-int handle_special_page_fault(struct guest_info * info, addr_t fault_addr, addr_t gp_addr, pf_error_t access_info);
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
#endif