summaryrefslogtreecommitdiffstats
path: root/cpukit/libmisc/shell
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2018-12-21 21:09:53 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2018-12-27 09:00:59 +0100
commita7e89962df998a0d6c98806595641399f670174b (patch)
tree7f0bc0320806cf44421d934b125006a36771d8e8 /cpukit/libmisc/shell
parentdrvmgr: Enable build for riscv (diff)
downloadrtems-a7e89962df998a0d6c98806595641399f670174b.tar.bz2
drvmgr: Improve LP64 compatibility
Diffstat (limited to 'cpukit/libmisc/shell')
-rw-r--r--cpukit/libmisc/shell/main_drvmgr.c3
1 files changed, 2 insertions, 1 deletions
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++;