X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_instr_emulator.h;h=84b07a41f80d86ec67f9f866126cbb34f3ce6243;hb=8297338f93cf45f648281a9d01161eb9115f9dd1;hp=78b7319a29676dc946c895db929f5a33255f22dc;hpb=9b4bfeefac09294a6f0ae12dbadf102eb547f5ec;p=palacios.git

diff --git a/palacios/include/palacios/vmm_instr_emulator.h b/palacios/include/palacios/vmm_instr_emulator.h
index 78b7319..84b07a4 100644
--- a/palacios/include/palacios/vmm_instr_emulator.h
+++ b/palacios/include/palacios/vmm_instr_emulator.h
@@ -342,7 +342,7 @@
 		      "pop %0; "					\
 		      "popf; "						\
 		      : "=q"(*flags)					\
-		      : "D"(*(uint32_t *)dst),"a"(*(uint32_t *)src),"c"(*(uint32_t *)ecx),"q"(*flags) \
+		      : "D"(*dst),"a"(*src),"c"(*ecx),"q"(*flags)	\
 		      );						\
 	*flags |= flags_rsvd;						\
     }