diff --git a/arch/arm/src/sama5/sam_tsd.c b/arch/arm/src/sama5/sam_tsd.c
index fad057d5f98..3b0433466ed 100644
--- a/arch/arm/src/sama5/sam_tsd.c
+++ b/arch/arm/src/sama5/sam_tsd.c
@@ -51,6 +51,7 @@
 
 #include <sys/types.h>
 
+#include <inttypes.h>
 #include <stdbool.h>
 #include <stdio.h>
 #include <string.h>
@@ -527,7 +528,7 @@ static void sam_tsd_bottomhalf(void *arg)
 
   /* Handle the change from pen down to pen up */
 
-  iinfo("pending: %08x pendown: %d contact: %d\n",
+  iinfo("pending: %08" PRIx32 " pendown: %d contact: %d\n",
         pending, pendown, priv->sample.contact);
 
   if (!pendown)
@@ -634,7 +635,10 @@ static void sam_tsd_bottomhalf(void *arg)
 
       if (xraw == 0 || xraw >= xscale || yraw == 0 || yraw > yscale)
         {
-          iwarn("WARNING: Discarding: x %d:%d y %d:%d\n", xraw, xscale);
+          iwarn("WARNING: Discarding: x %" PRId32 ":%" PRId32
+                " y %" PRId32 ":%" PRId32 "\n",
+                xraw, xscale,
+                yraw, yscale);
           goto ignored;
         }