From 17f3e2dd23bd995d84a30bcbc186f3e717584fbf Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Fri, 13 Nov 2020 17:06:39 +0900
Subject: [PATCH] boards/arm/stm32/stm32f429i-disco/src/stm32_highpri.c: Fix
 printf format warnings

---
 boards/arm/stm32/stm32f429i-disco/src/stm32_highpri.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/boards/arm/stm32/stm32f429i-disco/src/stm32_highpri.c b/boards/arm/stm32/stm32f429i-disco/src/stm32_highpri.c
index e965a440d44..67a8f288f74 100644
--- a/boards/arm/stm32/stm32f429i-disco/src/stm32_highpri.c
+++ b/boards/arm/stm32/stm32f429i-disco/src/stm32_highpri.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <strings.h>
@@ -492,10 +493,10 @@ int highpri_main(int argc, char *argv[])
       g_highpri.lock = true;
 
 #ifndef CONFIG_STM32_ADC1_DMA
-      printf("%d [%d] %0.3fV\n", g_highpri.cntr1, g_highpri.current,
+      printf("%" PRId32 " [%d] %0.3fV\n", g_highpri.cntr1, g_highpri.current,
               g_highpri.r_volt[g_highpri.current]);
 #else
-      printf("%d ", g_highpri.cntr1);
+      printf("%" PRId32 " ", g_highpri.cntr1);
 
       for (i = 0; i < REG_NCHANNELS; i += 1)
         {
@@ -508,7 +509,7 @@ int highpri_main(int argc, char *argv[])
 #ifdef HIGHPRI_HAVE_INJECTED
       /* Print data from injected channels */
 
-      printf("%d ", g_highpri.cntr2);
+      printf("%" PRId32 " ", g_highpri.cntr2);
 
       for (i = 0; i < INJ_NCHANNELS; i += 1)
         {