X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_instr_emulator.h;h=6e382c613535d0baa783537321941cfd2325d5a4;hp=132970b08668a08017789a24b4aa403850259bd5;hb=a9b0e13d3ad5cef3b5b28cc7975480523941ad97;hpb=75aa9d6205930057dc8163238d325558bcb1fd9b

diff --git a/palacios/include/palacios/vmm_instr_emulator.h b/palacios/include/palacios/vmm_instr_emulator.h
index 132970b..6e382c6 100644
--- a/palacios/include/palacios/vmm_instr_emulator.h
+++ b/palacios/include/palacios/vmm_instr_emulator.h
@@ -256,8 +256,8 @@
 
 
 #define MAKE_2OP_64STR_WINST(iname) static inline void iname##64(addr_t * dst, \
-								addr_t * src, \
-								addr_t * ecx, addr_t * flags) { \
+								 addr_t * src, \
+								 addr_t * ecx, addr_t * flags) { \
     /* Some of the flags values are not copied out in a pushf, we save them here */ \
     addr_t flags_rsvd = *flags & ~0xfffe7fff;				\
 									\