From 030271f7f5e72f4192bc6ccc222e03002f50e3c0 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Mon, 30 Nov 2020 15:59:35 +0900
Subject: [PATCH] arch/arm/src/stm32l4/stm32l4xrxx_dma.c: Fix a syslog format

---
 arch/arm/src/stm32l4/stm32l4xrxx_dma.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/stm32l4/stm32l4xrxx_dma.c b/arch/arm/src/stm32l4/stm32l4xrxx_dma.c
index 4924ce451e7..b45a1f74266 100644
--- a/arch/arm/src/stm32l4/stm32l4xrxx_dma.c
+++ b/arch/arm/src/stm32l4/stm32l4xrxx_dma.c
@@ -47,6 +47,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdbool.h>
 #include <debug.h>
@@ -713,7 +714,8 @@ static void stm32l4_dma12_setup(DMA_HANDLE handle, uint32_t paddr,
 
   DEBUGASSERT(dmachan->ctrl == DMA1 || dmachan->ctrl == DMA2);
 
-  dmainfo("paddr: %08x maddr: %08x ntransfers: %d ccr: %08x\n",
+  dmainfo("paddr: %08" PRIx32 " maddr: %08" PRIx32
+          " ntransfers: %zd ccr: %08" PRIx32 "\n",
           paddr, maddr, ntransfers, ccr);
 
 #ifdef CONFIG_STM32L4_DMACAPABLE