X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_mem.h;h=f6338dff261ff855c08055457e1e0b9365f33656;hp=8a32f5f5a24470e528bf1528bf65b6e339269940;hb=0e097100a26bc43eb8964734fa43130fc4c71429;hpb=2b1f4ef19d766727f873476861c64339c8836a40 diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h index 8a32f5f..f6338df 100644 --- a/palacios/include/palacios/vmm_mem.h +++ b/palacios/include/palacios/vmm_mem.h @@ -1,121 +1,137 @@ +/* + * 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 +#ifdef __V3VEE__ + #include +#include +#include -typedef ulong_t addr_t; struct guest_info; -/* - - Guest Shadow Host - Virtual Physical Virtual Physical Virtual Physical - OK OK - OK NOK - NOK OK - NOK NOK - -*/ - -// 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_NOTHING, // 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 enum shdw_region_type { + SHDW_REGION_WRITE_HOOK, // This region is mapped as read-only (page faults on write) + SHDW_REGION_FULL_HOOK, // This region is mapped as not present (always generate page faults) + SHDW_REGION_ALLOCATED, // Region is a section of host memory +} v3_shdw_region_type_t; -#define shadow_mem_type_t host_region_type_t -typedef struct shadow_region { - guest_region_type_t guest_type; - addr_t guest_start; - addr_t guest_end; +struct v3_shadow_region { + addr_t guest_start; + addr_t guest_end; - host_region_type_t host_type; - union host_addr_t { - struct physical_addr { - addr_t host_start; - } phys_addr; - // Other addresses, like on disk, etc, would go here - } host_addr; - struct shadow_region *next, *prev; -} shadow_region_t; + v3_shdw_region_type_t host_type; + + addr_t host_addr; // This either points to a host address mapping + // Called when data is read from a memory page + int (*read_hook)(addr_t guest_addr, void * dst, uint_t length, void * priv_data); + // Called when data is written to a memory page + int (*write_hook)(addr_t guest_addr, void * src, uint_t length, void * priv_data); -struct shadow_map { - uint_t num_regions; + void * priv_data; - shadow_region_t * head; + struct rb_node tree_node; }; -void init_shadow_region(shadow_region_t * 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); +typedef struct v3_shdw_map { + struct v3_shadow_region base_region; + + + addr_t hook_hva; + + struct rb_root shdw_regions; +} v3_shdw_map_t; + + + + +int v3_init_shadow_map(struct guest_info * info); +void v3_delete_shadow_map(struct guest_info * info); + + +int v3_add_shadow_mem(struct guest_info * guest_info, + addr_t guest_addr_start, + addr_t guest_addr_end, + addr_t host_addr); + +int v3_hook_full_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 v3_hook_write_mem(struct guest_info * info, addr_t guest_addr_start, addr_t guest_addr_end, + addr_t host_addr, + int (*write)(addr_t guest_addr, void * src, uint_t length, void * priv_data), + void * priv_data); + + + +int v3_unhook_mem(struct guest_info * info, addr_t guest_addr_start); + + +void v3_delete_shadow_region(struct guest_info * info, struct v3_shadow_region * reg); + + + + +struct v3_shadow_region * v3_get_shadow_region(struct guest_info * info, addr_t guest_addr); +addr_t v3_get_shadow_addr(struct v3_shadow_region * reg, addr_t guest_addr); + + -/* -void init_shadow_region_physical(shadow_region_t * 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_start); -void init_shadow_map(struct shadow_map * map); -void free_shadow_map(struct shadow_map * map); +void v3_print_mem_map(struct guest_info * info); -shadow_region_t * get_shadow_region_by_addr(struct shadow_map * map, addr_t guest_addr); -shadow_region_t * 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); -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, shadow_region_t * entry); +const uchar_t * v3_shdw_region_type_to_str(v3_shdw_region_type_t type); -// 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); +int handle_special_page_fault(struct guest_info * info, addr_t fault_addr, addr_t gp_addr, pf_error_t access_info); +int v3_handle_mem_wr_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa, + struct v3_shadow_region * reg, pf_error_t access_info); +int v3_handle_mem_full_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa, + struct v3_shadow_region * reg, pf_error_t access_info); +#endif // ! __V3VEE__ #endif