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.


Multithread handling of VNET
[palacios.git] / palacios / include / palacios / vmm_decoder.h
index 3631e14..aba2d40 100644 (file)
@@ -43,9 +43,9 @@ struct x86_operand {
     addr_t operand;
     uint_t size;
     v3_operand_type_t type;
-    uint8_t read : 1;
-    uint8_t write : 1;
-};
+    uint8_t read : 1;   // This operand value will be read by the instruction
+    uint8_t write : 1;  // This operand value will be written to by the instruction
+} __attribute__((packed));
 
 struct x86_prefixes {
     uint_t lock   : 1;  // 0xF0