+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
#ifndef __VMM_CTRL_REGS_H
#define __VMM_CTRL_REGS_H
+struct efer_64 {
+ uint_t sce : 1;
+ uint_t rsvd1 : 7; // RAZ
+ uint_t lme : 1;
+ uint_t rsvd2 : 1; // MBZ
+ uint_t lma : 1;
+ uint_t nxe : 1;
+ uint_t svme : 1;
+ uint_t rsvd3 : 1; // MBZ
+ uint_t ffxsr : 1;
+ uint_t rsvd4 : 12; // MBZ
+ uint_t rsvd5 : 32; // MBZ
+};
+
+
struct rflags {
uint_t cf : 1; // carry flag
uint_t rsvd1 : 1; // Must be 1
+/*
// First opcode byte
static const uchar_t cr_access_byte = 0x0f;
static const uchar_t clts_byte = 0x06;
static const uchar_t mov_to_cr_byte = 0x22;
static const uchar_t mov_from_cr_byte = 0x20;
-
+*/
int handle_cr0_write(struct guest_info * info);
int handle_cr3_read(struct guest_info * info);
+#define CR3_32_SAME_BASE(source1,source2) ((source1)->pdt_base_addr == (source2)->pdt_base_addr)
+#define CR3_32_COPY_FLAGS(source,dest) do { (dest)->rsvd1=(source)->rsvd1; (dest)->pwt=(source)->pwt; (dest)->pcd=(source)->pcd; } while (0)
+#define CR3_32_COPY_BASE(source,dest) do { (dest)->pdt_base_addr = (source)->pdt_base_addr; } while (0)
+
+
#endif