X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_mem.h;h=99a53fc9e2a8279dc9c7025ac27223a62f449a25;hb=96241180a9bfdf5eb59082ce4cfd27a1a898181a;hp=c51802c043d2f1441c17300224b0845c3d28f5c3;hpb=c373d9a80b116014c546e7761982fedf7419664b;p=palacios.git diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h index c51802c..99a53fc 100644 --- a/palacios/include/palacios/vmm_mem.h +++ b/palacios/include/palacios/vmm_mem.h @@ -1,3 +1,23 @@ +/* + * 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 + * Copyright (c) 2008, The V3VEE Project + * All rights reserved. + * + * Author: Jack Lange + * + * 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 @@ -8,141 +28,91 @@ #include #include +#include +#include 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 { + 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