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.


3 operand instructions no longer error out if the 3rd operand is exotic
Jack Lange [Mon, 9 Mar 2009 20:46:25 +0000 (15:46 -0500)]
palacios/src/palacios/vmm_xed.c

index 7c1c13e..eaac5bd 100644 (file)
@@ -147,17 +147,16 @@ static int set_decoder_mode(struct guest_info * info, xed_state_t * state) {
 }
 
 /*
-static int is_flags_reg(xed_reg_enum_t xed_reg) {
-    switch (xed_reg) {
-       case XED_REG_FLAGS:
-       case XED_REG_EFLAGS:
-       case XED_REG_RFLAGS:
-           return 1;
-       default:
-           return 0;
-    }
-}
-
+  static int is_flags_reg(xed_reg_enum_t xed_reg) {
+  switch (xed_reg) {
+  case XED_REG_FLAGS:
+  case XED_REG_EFLAGS:
+  case XED_REG_RFLAGS:
+  return 1;
+  default:
+  return 0;
+  }
+  }
 */
 
 int v3_init_decoder(struct guest_info * info) {
@@ -548,7 +547,7 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
 
        } else {
            PrintError("Unhandled third operand type %s\n", xed_operand_type_enum_t2str(op_type));
-           return -1;
+           instr->num_operands = 2;
        }