hax: fix wrong printf format for target_ulong.

Change-Id: Icb85046d78adabb1dc15c23d87f0639df8c40a14
Signed-off-by: Kitae Kim <kt920.kim@samsung.com>

diff --git a/target-i386/hax-all.c b/target-i386/hax-all.c
index 05442ab..7c014e8 100644 (file)
--- a/target-i386/hax-all.c
+++ b/target-i386/hax-all.c
@@ -697,7 +697,7 @@ static int hax_vcpu_hax_exec(CPUArchState *env, int ug_platform)
     {
         if (hax_vcpu_emulation_mode(cpu))
         {
-            dprint("Trying to vcpu execute at eip:%lx\n", env->eip);
+            dprint("Trying to vcpu execute at eip:" TARGET_FMT_lx "\n", env->eip);
             return  HAX_EMUL_EXITLOOP;
         }
 
@@ -712,7 +712,7 @@ static int hax_vcpu_hax_exec(CPUArchState *env, int ug_platform)
     {
         if (!hax_enabled())
         {
-            dprint("Trying to vcpu execute at eip:%lx\n", env->eip);
+            dprint("Trying to vcpu execute at eip:" TARGET_FMT_lx "\n", env->eip);
             return  HAX_EMUL_EXITLOOP;
         }