From a7e89962df998a0d6c98806595641399f670174b Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Fri, 21 Dec 2018 21:09:53 +0100
Subject: drvmgr: Improve LP64 compatibility

---
 cpukit/libmisc/shell/main_drvmgr.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'cpukit/libmisc')

diff --git a/cpukit/libmisc/shell/main_drvmgr.c b/cpukit/libmisc/shell/main_drvmgr.c
index c20c49f418..bdf8d1c9ae 100644
--- a/cpukit/libmisc/shell/main_drvmgr.c
+++ b/cpukit/libmisc/shell/main_drvmgr.c
@@ -13,6 +13,7 @@
 #include "config.h"
 #endif
 
+#include <inttypes.h>
 #include <limits.h>
 #include <stdlib.h>
 #include <stdio.h>
@@ -196,7 +197,7 @@ static void shell_drvmgr_print_res_array(struct drvmgr_drv_res *resources)
       drv_name = drv->name;
     else
       drv_name = "UNKNOWN";
-    printf(" RESOURCES FOR DEVICE[%02d] DRIVER[0x%llx (%s)]\n",
+    printf(" RESOURCES FOR DEVICE[%02d] DRIVER[0x%" PRIu64 " (%s)]\n",
             res->minor_bus, res->drv_id, drv_name);
     shell_drvmgr_print_key_array(res->keys);
     res++;
-- 
cgit v1.2.3