[PATCH] xenpaging: Fix build error of xenpaging tool

[Wei Yongjun <yjwei@cn.fujitsu.com>]

This patch fixed build error of xenpaging tool under x86_32.

Signed-off-by: Wei Yongjun <yjwei@cn.fujitsu.com>

diff --git a/tools/xenpaging/xenpaging.c b/tools/xenpaging/xenpaging.c
--- a/tools/xenpaging/xenpaging.c
+++ b/tools/xenpaging/xenpaging.c
@@ -21,6 +21,7 @@
 
 
 #include <stdlib.h>
+#include <inttypes.h>
 #include <xc_private.h>
 
 #include <xen/mem_event.h>
@@ -184,7 +185,7 @@
         ERROR("Error allocating bitmap");
         goto err;
     }
-    DPRINTF("max_pages = %lx\n", paging->domain_info->max_pages);
+    DPRINTF("max_pages = %"PRIx64"\n", paging->domain_info->max_pages);
 
     /* Initialise policy */
     rc = policy_init(paging);
@@ -565,7 +566,7 @@
             }
             else
             {
-                DPRINTF("page already populated (domain = %d; vcpu = %d; gfn = %lx; paused = %ld)\n",
+                DPRINTF("page already populated (domain = %d; vcpu = %d; gfn = %lx; paused = %"PRIx64")\n",
                         paging->mem_event.domain_id, req.vcpu_id, req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED);
 
                 /* Tell Xen to resume the vcpu */