diff options
Diffstat (limited to 'cpukit/libmisc/shell/main_drvmgr.c')
-rw-r--r-- | cpukit/libmisc/shell/main_drvmgr.c | 3 |
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++; |