diff --git a/binfmt/libnxflat/libnxflat_load.c b/binfmt/libnxflat/libnxflat_load.c
index 26d8235ba4..bb4c109ae5 100644
--- a/binfmt/libnxflat/libnxflat_load.c
+++ b/binfmt/libnxflat/libnxflat_load.c
@@ -42,6 +42,7 @@
 #include <sys/types.h>
 #include <sys/mman.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdlib.h>
 #include <nxflat.h>
@@ -155,7 +156,7 @@ int nxflat_load(struct nxflat_loadinfo_s *loadinfo)
       return -errno;
     }
 
-  binfo("Mapped ISpace (%d bytes) at %08x\n",
+  binfo("Mapped ISpace (%" PRId32 " bytes) at %08x\n",
         loadinfo->isize, loadinfo->ispace);
 
   /* The following call allocate D-Space memory and will provide a pointer
@@ -169,7 +170,7 @@ int nxflat_load(struct nxflat_loadinfo_s *loadinfo)
       return ret;
     }
 
-  binfo("Allocated DSpace (%d bytes) at %p\n",
+  binfo("Allocated DSpace (%" PRId32 " bytes) at %p\n",
         loadinfo->dsize, loadinfo->dspace->region);
 
   /* If CONFIG_ARCH_ADDRENV=y, then the D-Space allocation lies in an address
@@ -199,8 +200,8 @@ int nxflat_load(struct nxflat_loadinfo_s *loadinfo)
       goto errout;
     }
 
-  binfo("TEXT: %08x Entry point offset: %08x Data offset: %08x\n",
-      loadinfo->ispace, loadinfo->entryoffs, doffset);
+  binfo("TEXT: %08x Entry point offset: %08" PRIx32 " Data offset: %08jx\n",
+        loadinfo->ispace, loadinfo->entryoffs, (intmax_t)doffset);
 
   /* Restore the original address environment */