diff --git a/arch/arm/src/cxd56xx/cxd56_usbdev.c b/arch/arm/src/cxd56xx/cxd56_usbdev.c
index 583a780ed7..a2dfd20eb2 100644
--- a/arch/arm/src/cxd56xx/cxd56_usbdev.c
+++ b/arch/arm/src/cxd56xx/cxd56_usbdev.c
@@ -45,6 +45,7 @@
 #include <sys/stat.h>
 
 #include <sys/types.h>
+#include <inttypes.h>
 #include <stdint.h>
 #include <stdbool.h>
 #include <stdlib.h>
@@ -1019,7 +1020,7 @@ static void cxd56_rxdmacomplete(FAR struct cxd56_ep_s *privep)
     }
   else
     {
-      uerr("Descriptor status error %08x\n", status);
+      uerr("Descriptor status error %08" PRIx32 "\n", status);
     }
 
   cxd56_rdrequest(privep);
@@ -2231,7 +2232,7 @@ static int cxd56_epconfigure(FAR struct usbdev_ep_s *ep,
 
   status = getreg32(CXD56_USB_DEV_STATUS);
 
-  uinfo("config: EP%d %s %d maxpacket=%d (status: %08x)\n", n,
+  uinfo("config: EP%d %s %d maxpacket=%d (status: %08" PRIx32 ")\n", n,
         privep->in ? "IN" : "OUT", eptype, maxpacket, status);
 
   udc = n;
@@ -2241,7 +2242,7 @@ static int cxd56_epconfigure(FAR struct usbdev_ep_s *ep,
   udc |= USB_STATUS_INTF(status) << 11;
   udc |= USB_STATUS_ALT(status) << 15;
   udc |= maxpacket << 19;
-  uinfo("UDC: %08x\n", udc);
+  uinfo("UDC: %08" PRIx32 "\n", udc);
 
   /* This register is write-only (why?) */
 
@@ -3014,7 +3015,7 @@ static int cxd56_vbusinterrupt(int irq, FAR void *context, FAR void *arg)
   cxd56_cableconnected(true);
 
   usbtrace(TRACE_INTENTRY(CXD56_TRACEINTID_VBUS), 0);
-  uinfo("irq=%d context=%08x\n", irq, context);
+  uinfo("irq=%d context=%p\n", irq, context);
 
   /* Toggle vbus interrupts */
 
@@ -3059,7 +3060,7 @@ static int cxd56_vbusninterrupt(int irq, FAR void *context, FAR void *arg)
 
   usbtrace(TRACE_INTENTRY(CXD56_TRACEINTID_VBUSN), 0);
 
-  uinfo("irq=%d context=%08x\n", irq, context);
+  uinfo("irq=%d context=%p\n", irq, context);
 
   /* Toggle vbus interrupts */