X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_ctrl_regs.h;h=69602bbac50c8a9b0777bcde0c6a4a12b2d49626;hb=07820ee58e9b356341ce86cd2b2938d3abef60c9;hp=1849092b96e5fa8093f20a95ba2d13461a298c2a;hpb=d0534dc3a0dc459971b2cdfd423dfb9a4f06a08b;p=palacios.git

diff --git a/palacios/include/palacios/vmm_ctrl_regs.h b/palacios/include/palacios/vmm_ctrl_regs.h
index 1849092..69602bb 100644
--- a/palacios/include/palacios/vmm_ctrl_regs.h
+++ b/palacios/include/palacios/vmm_ctrl_regs.h
@@ -119,6 +119,21 @@ struct cr4_64 {
 
 
 
+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
@@ -149,6 +164,7 @@ struct rflags {
 
 
 
+
 // First opcode byte
 static const uchar_t cr_access_byte = 0x0f;