From 84fa0a9b6ca8bafd45ea2e07f1ca701375425481 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Thu, 3 Dec 2020 15:49:36 +0900
Subject: [PATCH] arch/arm/src/sama5/sam_ehci.c: Fix a syslog format

---
 arch/arm/src/sama5/sam_ehci.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/sama5/sam_ehci.c b/arch/arm/src/sama5/sam_ehci.c
index c794cf3c981..f2f19cb7a45 100644
--- a/arch/arm/src/sama5/sam_ehci.c
+++ b/arch/arm/src/sama5/sam_ehci.c
@@ -24,6 +24,7 @@
 
 #include <nuttx/config.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdbool.h>
 #include <string.h>
@@ -3215,7 +3216,7 @@ static int sam_ehci_tophalf(int irq, FAR void *context, FAR void *arg)
 #ifdef CONFIG_USBHOST_TRACE
   usbhost_vtrace1(EHCI_VTRACE1_TOPHALF, usbsts & regval);
 #else
-  uinfo("USBSTS: %08x USBINTR: %08x\n", usbsts, regval);
+  uinfo("USBSTS: %08" PRIx32 " USBINTR: %08" PRIx32 "\n", usbsts, regval);
 #endif
 
   /* Handle all unmasked interrupt sources */