X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_instr_emulator.h;h=84b07a41f80d86ec67f9f866126cbb34f3ce6243;hb=00881af75346ca2e0766ccb68fb72caeb1d14d10;hp=78b7319a29676dc946c895db929f5a33255f22dc;hpb=d295adbc7569ea2c242b34db6606236825ac5332;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;						\
     }