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".
20 #ifndef __VMM_CTRL_REGS_H
21 #define __VMM_CTRL_REGS_H
26 #include <palacios/vm_guest.h>
28 #define EFER_MSR 0xc0000080
30 // KCH: for system-call interposition
31 #define STAR_MSR 0xc0000081 /* Legacy mode SYSCALL target */
32 #define LSTAR_MSR 0xc0000082 /* Long mode SYSCALL target */
33 #define CSTAR_MSR 0xc0000083 /* compat mode SYSCALL target */
34 #define SF_MASK_MSR 0xc0000084 /* EFLAGS mask for syscall */
35 #define FS_BASE_MSR 0xc0000100 /* 64-bit FS base */
36 #define GS_BASE_MSR 0xc0000101 /* 64-bit GS base */
37 #define KERN_GS_BASE_MSR 0xc0000102 /* swapGS GS shadow */
40 #define IA32_SYSENTER_CS_MSR 0x00000174
41 #define IA32_SYSENTER_ESP_MSR 0x00000175
42 #define IA32_SYSENTER_EIP_MSR 0x00000176
49 } __attribute__((packed));
67 } __attribute__((packed));
87 } __attribute__((packed));
92 } __attribute__((packed));
96 } __attribute__((packed));
104 uint_t pdt_base_addr : 20;
105 } __attribute__((packed));
112 uint_t pdpt_base_addr : 27;
113 } __attribute__((packed));
121 ullong_t pml4t_base_addr : 40;
123 } __attribute__((packed));
139 } __attribute__((packed));
155 } __attribute__((packed));
161 uint_t rsvd1 : 7; // RAZ
163 uint_t rsvd2 : 1; // MBZ
167 uint_t rsvd3 : 1; // MBZ
169 uint_t rsvd4 : 12; // MBZ
170 uint_t rsvd5 : 32; // MBZ
171 } __attribute__((packed));
175 uint_t cf : 1; // carry flag
176 uint_t rsvd1 : 1; // Must be 1
177 uint_t pf : 1; // parity flag
178 uint_t rsvd2 : 1; // Read as 0
179 uint_t af : 1; // Auxillary flag
180 uint_t rsvd3 : 1; // Read as 0
181 uint_t zf : 1; // zero flag
182 uint_t sf : 1; // sign flag
183 uint_t tf : 1; // trap flag
184 uint_t intr : 1; // interrupt flag
185 uint_t df : 1; // direction flag
186 uint_t of : 1; // overflow flag
187 uint_t iopl : 2; // IO privilege level
188 uint_t nt : 1; // nested task
189 uint_t rsvd4 : 1; // read as 0
190 uint_t rf : 1; // resume flag
191 uint_t vm : 1; // Virtual-8086 mode
192 uint_t ac : 1; // alignment check
193 uint_t vif : 1; // virtual interrupt flag
194 uint_t vip : 1; // virtual interrupt pending
195 uint_t id : 1; // ID flag
196 uint_t rsvd5 : 10; // Read as 0
197 uint_t rsvd6 : 32; // Read as 0
198 } __attribute__((packed));
206 static const uchar_t cr_access_byte = 0x0f;
208 // Second opcode byte
209 static const uchar_t lmsw_byte = 0x01;
210 static const uchar_t lmsw_reg_byte = 0x6;
211 static const uchar_t smsw_byte = 0x01;
212 static const uchar_t smsw_reg_byte = 0x4;
213 static const uchar_t clts_byte = 0x06;
214 static const uchar_t mov_to_cr_byte = 0x22;
215 static const uchar_t mov_from_cr_byte = 0x20;
219 int v3_handle_cr0_write(struct guest_info * info);
220 int v3_handle_cr0_read(struct guest_info * info);
222 int v3_handle_cr3_write(struct guest_info * info);
223 int v3_handle_cr3_read(struct guest_info * info);
225 int v3_handle_cr4_write(struct guest_info * info);
226 int v3_handle_cr4_read(struct guest_info * info);
229 int v3_handle_efer_write(struct guest_info * core, uint_t msr, struct v3_msr src, void * priv_data);
230 int v3_handle_efer_read(struct guest_info * core, uint_t msr, struct v3_msr * dst, void * priv_data);
232 int v3_handle_star_write(struct guest_info * core, uint_t msr, struct v3_msr src, void * priv_data);
233 int v3_handle_star_read(struct guest_info * core, uint_t msr, struct v3_msr * dst, void * priv_data);
234 int v3_handle_lstar_write(struct guest_info * core, uint_t msr, struct v3_msr src, void * priv_data);
235 int v3_handle_lstar_read(struct guest_info * core, uint_t msr, struct v3_msr * dst, void * priv_data);
236 int v3_handle_cstar_write(struct guest_info * core, uint_t msr, struct v3_msr src, void * priv_data);
237 int v3_handle_cstar_read(struct guest_info * core, uint_t msr, struct v3_msr * dst, void * priv_data);
239 int v3_handle_seeip_write(struct guest_info * core, uint_t msr, struct v3_msr src, void * priv_data);
240 int v3_handle_seeip_read(struct guest_info * core, uint_t msr, struct v3_msr * dst, void * priv_data);
242 int v3_handle_vm_cr_write(struct guest_info * core, uint_t msr, struct v3_msr src, void * priv_data);
243 int v3_handle_vm_cr_read(struct guest_info * core, uint_t msr, struct v3_msr * dst, void * priv_data);
246 #endif // ! __V3VEE__