From e37bbd9173e37d1e769dc3d5c2ce314e117b8f2b Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Mon, 30 Nov 2020 13:03:02 +0900
Subject: [PATCH] arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c: Fix a syslog
 format

The original code seems using "%08b" format to mean a binary
representation. I couldn't find it in the NuttX printf implementation
or standards.
---
 arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c b/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c
index 1f935ef619e..e23ed5c859e 100644
--- a/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c
+++ b/arch/arm/src/tiva/common/lmxx_tm4c_gpioirq.c
@@ -42,6 +42,7 @@
 #include <nuttx/arch.h>
 #include <nuttx/irq.h>
 
+#include <inttypes.h>
 #include <stdint.h>
 #include <string.h>
 #include <assert.h>
@@ -269,7 +270,7 @@ static int tiva_gpioporthandler(uint8_t port, void *context)
   irq  = gpioport2irq(port);
   mis  = getreg32(base + TIVA_GPIO_MIS_OFFSET);
 
-  gpioinfo("irq=%d mis=0b%08b\n", irq, mis & 0xff);
+  gpioinfo("irq=%d mis=0x%02" PRIx32 "\n", irq, mis & 0xff);
 
   /* Clear all pending interrupts */