revamped the INVLPG handler

[palacios.git] / palacios / src / palacios / vmm_xed.c

diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c
index 3c39b13..73dd4ce 100644 (file)
--- a/palacios/src/palacios/vmm_xed.c
+++ b/palacios/src/palacios/vmm_xed.c
@@ -1021,6 +1021,9 @@ static int xed_reg_to_v3_reg(struct guest_info * info, xed_reg_enum_t xed_reg, a
 static v3_op_type_t get_opcode(xed_iform_enum_t iform) {
 
   switch (iform) {
+
+    /* Control Instructions */
+
   case XED_IFORM_MOV_CR_GPR64_CR:
   case XED_IFORM_MOV_CR_GPR32_CR:
     return V3_OP_MOVCR2;
@@ -1038,6 +1041,12 @@ static v3_op_type_t get_opcode(xed_iform_enum_t iform) {
   case XED_IFORM_CLTS:
     return V3_OP_CLTS;
 
+  case XED_IFORM_INVLPG_MEMb:
+    return V3_OP_INVLPG;
+
+
+    /* Data Instructions */
+
   case XED_IFORM_ADC_MEMv_GPRv:
   case XED_IFORM_ADC_MEMv_IMM:
   case XED_IFORM_ADC_MEMb_GPR8:
@@ -1149,6 +1158,7 @@ static v3_op_type_t get_opcode(xed_iform_enum_t iform) {
   case XED_IFORM_SETZ_MEMb:
     return V3_OP_SETZ;
 
+
   case XED_IFORM_MOVSB:
   case XED_IFORM_MOVSW:
   case XED_IFORM_MOVSD: