format fix

diff --git a/palacios/src/palacios/vmm_v3dec.c b/palacios/src/palacios/vmm_v3dec.c
index 0b0d7a4..0a1aacb 100644 (file)
--- a/palacios/src/palacios/vmm_v3dec.c
+++ b/palacios/src/palacios/vmm_v3dec.c
@@ -78,13 +78,13 @@ int v3_decode(struct guest_info * core, addr_t instr_ptr, struct x86_instr * ins
     length = v3_get_prefixes((uint8_t *)instr_ptr, &(instr->prefixes));
 
 
-       // REX prefix
-       if (v3_get_vm_cpu_mode(core) == LONG) {
-           if ((*(uint8_t *)(instr_ptr + length) & 0xf0) == 0x40) {
-                       *(uint8_t *)&(instr->prefixes.rex) = *(uint8_t *)(instr_ptr + length);
-                       length += 1;
-               }
+    // REX prefix
+    if (v3_get_vm_cpu_mode(core) == LONG) {
+       if ((*(uint8_t *)(instr_ptr + length) & 0xf0) == 0x40) {
+           *(uint8_t *)&(instr->prefixes.rex) = *(uint8_t *)(instr_ptr + length);
+           length += 1;
        }
+    }
 
 
     form = op_code_to_form((uint8_t *)(instr_ptr + length), &length);