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.


added decoder support for cr0 write handler
[palacios.git] / palacios / include / palacios / vmm_ctrl_regs.h
index 1849092..69602bb 100644 (file)
@@ -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;