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.


29ea0c5c17900a3e01a88487e1ce59ca76f440dc
[palacios-OLD.git] / palacios / include / palacios / vm_guest.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 __VM_GUEST_H__
21 #define __VM_GUEST_H__
22
23 #ifdef __V3VEE__
24
25 #include <palacios/vmm_types.h>
26 #include <palacios/vmm_mem.h>
27 #include <palacios/vmm_io.h>
28 #include <palacios/vmm_shadow_paging.h>
29 #include <palacios/vmm_intr.h>
30 #include <palacios/vmm_dev_mgr.h>
31 #include <palacios/vmm_time.h>
32 #include <palacios/vmm_emulator.h>
33 #include <palacios/vmm_host_events.h>
34 #include <palacios/vmm_msr.h>
35
36
37
38 struct v3_gprs {
39   v3_reg_t rdi;
40   v3_reg_t rsi;
41   v3_reg_t rbp;
42   v3_reg_t rsp;
43   v3_reg_t rbx;
44   v3_reg_t rdx;
45   v3_reg_t rcx;
46   v3_reg_t rax;
47 };
48
49
50 struct v3_ctrl_regs {
51   v3_reg_t cr0;
52   v3_reg_t cr2;
53   v3_reg_t cr3;
54   v3_reg_t cr4;
55   v3_reg_t cr8;
56   v3_reg_t rflags;
57   v3_reg_t efer;
58 };
59
60
61
62 struct v3_dbg_regs {
63   v3_reg_t dr0;
64   v3_reg_t dr1;
65   v3_reg_t dr2;
66   v3_reg_t dr3;
67   v3_reg_t dr6;
68   v3_reg_t dr7;
69 };
70
71 struct v3_segment {
72   ushort_t selector;
73   uint_t limit;
74   ullong_t base;
75   uint_t type           : 4;
76   uint_t system         : 1;
77   uint_t dpl            : 2;
78   uint_t present        : 1;
79   uint_t avail          : 1;
80   uint_t long_mode      : 1;
81   uint_t db             : 1;
82   uint_t granularity    : 1;
83 };
84
85
86 struct v3_segments {
87   struct v3_segment cs;
88   struct v3_segment ds;
89   struct v3_segment es;
90   struct v3_segment fs;
91   struct v3_segment gs;
92   struct v3_segment ss;
93   struct v3_segment ldtr;
94   struct v3_segment gdtr;
95   struct v3_segment idtr;
96   struct v3_segment tr;
97 };
98
99 struct shadow_page_state;
100 struct shadow_map;
101 struct vmm_io_map;
102 struct emulation_state;
103 struct v3_intr_state;
104
105
106
107
108
109 struct guest_info {
110   ullong_t rip;
111
112   uint_t cpl;
113
114   addr_t mem_size; // Probably in bytes for now....
115   struct shadow_map mem_map;
116
117   struct vm_time time_state;
118
119   
120   v3_paging_mode_t shdw_pg_mode;
121   struct shadow_page_state shdw_pg_state;
122   addr_t direct_map_pt;
123   // nested_paging_t nested_page_state;
124
125
126   // This structure is how we get interrupts for the guest
127   struct v3_intr_state intr_state;
128
129   v3_io_map_t io_map;
130
131   struct v3_msr_map msr_map;
132   // device_map
133
134   struct vmm_dev_mgr  dev_mgr;
135
136   struct v3_host_events host_event_hooks;
137
138   v3_vm_cpu_mode_t cpu_mode;
139   v3_vm_mem_mode_t mem_mode;
140
141
142   struct v3_gprs vm_regs;
143   struct v3_ctrl_regs ctrl_regs;
144   struct v3_dbg_regs dbg_regs;
145   struct v3_segments segments;
146
147   v3_vm_operating_mode_t run_state;
148   void * vmm_data;
149
150
151   void * decoder_state;
152
153   struct v3_msr guest_efer;
154
155   /* TEMP */
156   //ullong_t exit_tsc;
157
158 };
159
160
161 v3_vm_cpu_mode_t v3_get_cpu_mode(struct guest_info * info);
162 v3_vm_mem_mode_t v3_get_mem_mode(struct guest_info * info);
163
164
165 const uchar_t * v3_cpu_mode_to_str(v3_vm_cpu_mode_t mode);
166 const uchar_t * v3_mem_mode_to_str(v3_vm_mem_mode_t mode);
167
168
169 void v3_print_segments(struct guest_info * info);
170 void v3_print_ctrl_regs(struct guest_info * info);
171 void v3_print_GPRs(struct guest_info * info);
172
173 #endif // ! __V3VEE__
174
175
176
177 #endif