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
24 #include <palacios/vm_guest.h>
86 uint_t pdt_base_addr : 20;
94 uint_t pdpt_base_addr : 27;
103 ullong_t pml4t_base_addr : 40;
143 uint_t rsvd1 : 7; // RAZ
145 uint_t rsvd2 : 1; // MBZ
149 uint_t rsvd3 : 1; // MBZ
151 uint_t rsvd4 : 12; // MBZ
152 uint_t rsvd5 : 32; // MBZ
157 uint_t cf : 1; // carry flag
158 uint_t rsvd1 : 1; // Must be 1
159 uint_t pf : 1; // parity flag
160 uint_t rsvd2 : 1; // Read as 0
161 uint_t af : 1; // Auxillary flag
162 uint_t rsvd3 : 1; // Read as 0
163 uint_t zf : 1; // zero flag
164 uint_t sf : 1; // sign flag
165 uint_t tf : 1; // trap flag
166 uint_t intr : 1; // interrupt flag
167 uint_t df : 1; // direction flag
168 uint_t of : 1; // overflow flag
169 uint_t iopl : 2; // IO privilege level
170 uint_t nt : 1; // nested task
171 uint_t rsvd4 : 1; // read as 0
172 uint_t rf : 1; // resume flag
173 uint_t vm : 1; // Virtual-8086 mode
174 uint_t ac : 1; // alignment check
175 uint_t vif : 1; // virtual interrupt flag
176 uint_t vip : 1; // virtual interrupt pending
177 uint_t id : 1; // ID flag
178 uint_t rsvd5 : 10; // Read as 0
179 uint_t rsvd6 : 32; // Read as 0
188 static const uchar_t cr_access_byte = 0x0f;
190 // Second opcode byte
191 static const uchar_t lmsw_byte = 0x01;
192 static const uchar_t lmsw_reg_byte = 0x6;
193 static const uchar_t smsw_byte = 0x01;
194 static const uchar_t smsw_reg_byte = 0x4;
195 static const uchar_t clts_byte = 0x06;
196 static const uchar_t mov_to_cr_byte = 0x22;
197 static const uchar_t mov_from_cr_byte = 0x20;
201 int handle_cr0_write(struct guest_info * info);
202 int handle_cr0_read(struct guest_info * info);
204 int handle_cr3_write(struct guest_info * info);
205 int handle_cr3_read(struct guest_info * info);
208 #define CR3_32_SAME_BASE(source1,source2) ((source1)->pdt_base_addr == (source2)->pdt_base_addr)
209 #define CR3_32_COPY_FLAGS(source,dest) do { (dest)->rsvd1=(source)->rsvd1; (dest)->pwt=(source)->pwt; (dest)->pcd=(source)->pcd; } while (0)
210 #define CR3_32_COPY_BASE(source,dest) do { (dest)->pdt_base_addr = (source)->pdt_base_addr; } while (0)