diff --git a/arch/arm/src/samd5e5/sam_tc.c b/arch/arm/src/samd5e5/sam_tc.c
index bbd0edcb638..24392acfd04 100644
--- a/arch/arm/src/samd5e5/sam_tc.c
+++ b/arch/arm/src/samd5e5/sam_tc.c
@@ -29,6 +29,7 @@
 #include <nuttx/config.h>
 
 #include <sys/types.h>
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdio.h>
 #include <stdbool.h>
@@ -790,7 +791,7 @@ void sam_tc_start(TC_HANDLE handle)
   struct sam_tc_dev_s *priv = (struct sam_tc_dev_s *)handle;
   uint32_t regval;
 
-  tmrinfo("Starting TC%d inuse=%d COUNT=%d\n",
+  tmrinfo("Starting TC%d inuse=%d COUNT=%" PRId32 "\n",
           priv->attr->tc, priv->inuse, sam_tc_getcounter(priv));
   DEBUGASSERT(priv && priv->inuse);
 
@@ -1079,7 +1080,7 @@ int sam_tc_divisor(struct sam_tc_dev_s *tc, uint32_t frequency,
   uint32_t ftcin = tc->attr->srcfreq;
   int ndx = 0;
 
-  tmrinfo("frequency=%d\n", frequency);
+  tmrinfo("frequency=%" PRId32 "\n", frequency);
 
   /* Satisfy lower bound.  That is, the value of the divider such that:
    *