From: Jack Lange <jacklange@cs.pitt.edu>
Date: Sat, 12 Mar 2011 07:29:32 +0000 (-0600)
Subject: format fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=1f1844528b1efc16001dff2fbdb2ab67bcf8c1ab;p=palacios.git

format fix
---

diff --git a/palacios/src/palacios/vmm_v3dec.c b/palacios/src/palacios/vmm_v3dec.c
index 0b0d7a4..0a1aacb 100644
--- 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);