[Xen-changelog] [xen-unstable] x86_32: Build fix in xenpaging tool.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1261122723 0
# Node ID 26822073c426f8b087a264d8b5c532df6a1ca328
# Parent  7f2189271043f33b5f32df4d8c90c964c9271e33
x86_32: Build fix in xenpaging tool.

Signed-off-by: Keir Fraser <keir.fraser@xxxxxxxxxx>
---
 tools/xenpaging/xenpaging.c |    9 ++++++---
 1 files changed, 6 insertions(+), 3 deletions(-)

diff -r 7f2189271043 -r 26822073c426 tools/xenpaging/xenpaging.c
--- a/tools/xenpaging/xenpaging.c       Fri Dec 18 07:51:43 2009 +0000
+++ b/tools/xenpaging/xenpaging.c       Fri Dec 18 07:52:03 2009 +0000
@@ -20,6 +20,7 @@
  */
 
 
+#include <inttypes.h>
 #include <stdlib.h>
 #include <xc_private.h>
 
@@ -184,7 +185,7 @@ xenpaging_t *xenpaging_init(domid_t doma
         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,8 +566,10 @@ int main(int argc, char *argv[])
             }
             else
             {
-                DPRINTF("page already populated (domain = %d; vcpu = %d; gfn = 
%lx; paused = %ld)\n",
-                        paging->mem_event.domain_id, req.vcpu_id, req.gfn, 
req.flags & MEM_EVENT_FLAG_VCPU_PAUSED);
+                DPRINTF("page already populated (domain = %d; vcpu = %d;"
+                        " gfn = %lx; paused = %"PRId64")\n",
+                        paging->mem_event.domain_id, req.vcpu_id,
+                        req.gfn, req.flags & MEM_EVENT_FLAG_VCPU_PAUSED);
 
                 /* Tell Xen to resume the vcpu */
                 /* XXX: Maybe just check if the vcpu was paused? */

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog