From d2ccc27cc833ec1a146c25c0e387195e1b35a28c Mon Sep 17 00:00:00 2001
From: Nguyen Anh Quynh <aquynh@gmail.com>
Date: Mon, 18 Apr 2016 12:54:21 +0800
Subject: [PATCH] samples: fix warning on printing 64bit int in
 sample_batch_reg.c

---
 samples/sample_batch_reg.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/samples/sample_batch_reg.c b/samples/sample_batch_reg.c
index abbee210..90684d75 100644
--- a/samples/sample_batch_reg.c
+++ b/samples/sample_batch_reg.c
@@ -1,3 +1,4 @@
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdio.h>
 #include <string.h>
@@ -35,7 +36,7 @@ void hook_syscall(uc_engine *uc, void *user_data)
 
     for (i = 0; i < 7; i++) {
         if (i != 0) printf(", ");
-        printf("%llu", vals[i]);
+        printf("%" PRIu64, vals[i]);
     }
 
     printf("}\n");
@@ -43,7 +44,7 @@ void hook_syscall(uc_engine *uc, void *user_data)
 
 void hook_code(uc_engine *uc, uint64_t addr, uint32_t size, void *user_data)
 {
-    printf("HOOK_CODE: 0x%llx, 0x%x\n", addr, size);
+    printf("HOOK_CODE: 0x%" PRIx64 ", 0x%x\n", addr, size);
 }
 
 int main()
@@ -81,7 +82,7 @@ int main()
 
     for (i = 0; i < 7; i++) {
         if (i != 0) printf(", ");
-        printf("%llu", vals[i]);
+        printf("%" PRIu64, vals[i]);
     }
 
     printf("}\n");