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.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
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.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
28 #include <palacios/vmm_types.h>
30 #include <palacios/vmm_paging.h>
31 #include <palacios/vmm_rbtree.h>
38 /* These are the types of physical memory address regions
39 * from the perspective of the HOST
41 typedef enum shdw_region_type {
42 SHDW_REGION_WRITE_HOOK, /* This region is mapped as read-only (page faults on write) */
43 SHDW_REGION_FULL_HOOK, /* This region is mapped as not present (always generate page faults) */
44 SHDW_REGION_ALLOCATED, /* Region is a section of host memory */
45 } v3_shdw_region_type_t;
50 struct v3_shadow_region {
54 v3_shdw_region_type_t host_type;
56 addr_t host_addr; /* This either points to a host address mapping */
59 /* Called when data is read from a memory page */
60 int (*read_hook)(addr_t guest_addr, void * dst, uint_t length, void * priv_data);
61 /* Called when data is written to a memory page */
62 int (*write_hook)(addr_t guest_addr, void * src, uint_t length, void * priv_data);
66 struct rb_node tree_node;
70 typedef struct v3_shdw_map {
71 struct v3_shadow_region base_region;
76 struct rb_root shdw_regions;
82 int v3_init_shadow_map(struct guest_info * info);
83 void v3_delete_shadow_map(struct guest_info * info);
86 int v3_add_shadow_mem(struct guest_info * guest_info,
87 addr_t guest_addr_start,
88 addr_t guest_addr_end,
91 int v3_hook_full_mem(struct guest_info * info, addr_t guest_addr_start, addr_t guest_addr_end,
92 int (*read)(addr_t guest_addr, void * dst, uint_t length, void * priv_data),
93 int (*write)(addr_t guest_addr, void * src, uint_t length, void * priv_data),
96 int v3_hook_write_mem(struct guest_info * info, addr_t guest_addr_start, addr_t guest_addr_end,
98 int (*write)(addr_t guest_addr, void * src, uint_t length, void * priv_data),
103 int v3_unhook_mem(struct guest_info * info, addr_t guest_addr_start);
106 void v3_delete_shadow_region(struct guest_info * info, struct v3_shadow_region * reg);
111 struct v3_shadow_region * v3_get_shadow_region(struct guest_info * info, addr_t guest_addr);
112 addr_t v3_get_shadow_addr(struct v3_shadow_region * reg, addr_t guest_addr);
118 void v3_print_mem_map(struct guest_info * info);
124 const uchar_t * v3_shdw_region_type_to_str(v3_shdw_region_type_t type);
128 int handle_special_page_fault(struct guest_info * info, addr_t fault_addr, addr_t gp_addr, pf_error_t access_info);
130 int v3_handle_mem_wr_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa,
131 struct v3_shadow_region * reg, pf_error_t access_info);
132 int v3_handle_mem_full_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa,
133 struct v3_shadow_region * reg, pf_error_t access_info);
135 #endif /* ! __V3VEE__ */