Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


45cfa44176141a591c3589b13ba62ce2cfe45e5c
[palacios.git] / palacios / include / palacios / vmm_emulator.h
1 /*
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.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
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.
13  *
14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
15  *
16  * This is free software.  You are permitted to use,
17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
18  */
19
20 #ifndef __VMM_EMULATOR_H__
21 #define __VMM_EMULATOR_H__
22
23 #ifdef __V3VEE__
24
25 #include <palacios/vmm_list.h>
26 #include <palacios/vmm_shadow_paging.h>
27 #include <palacios/vmm_paging.h>
28
29
30
31
32
33 struct emulated_page {
34   addr_t page_addr;
35   addr_t va;
36   pte32_t pte;
37   struct list_head page_list;
38 };
39
40 struct saved_page {
41   addr_t va;
42   pte32_t pte;
43   struct list_head page_list;
44 };
45
46
47 struct write_region {
48   void * write_data;
49   
50   uint_t length;
51   int (*write)(addr_t write_addr, void * src, uint_t length, void * priv_data);
52   addr_t write_addr;
53   void * private_data;
54   
55   struct list_head write_list;
56 };
57
58
59 struct emulation_state {
60   uint_t num_emulated_pages;
61   struct list_head emulated_pages;
62
63   uint_t num_saved_pages;
64   struct list_head saved_pages;
65
66   uint_t num_write_regions;
67   struct list_head write_regions;
68
69   uint_t running : 1;
70   uint_t instr_length;
71
72   uint_t tf_enabled : 1;
73 };
74
75
76 int v3_init_emulator(struct guest_info * info);
77
78
79 int v3_emulation_exit_handler(struct guest_info * info);
80
81 int v3_emulate_memory_write(struct guest_info * info, addr_t fault_gva,
82                             int (*write)(addr_t write_addr, void * src, uint_t length, void * priv_data), 
83                             addr_t write_addr, void * private_data);
84 int v3_emulate_memory_read(struct guest_info * info, addr_t fault_gva, 
85                            int (*read)(addr_t read_addr, void * dst, uint_t length, void * priv_data), 
86                            addr_t read_addr, void * private_data);
87
88
89 #endif // !__V3VEE__
90
91 #endif