Index: uspace/drv/platform/amdm37x/amdm37x.c
===================================================================
--- uspace/drv/platform/amdm37x/amdm37x.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/platform/amdm37x/amdm37x.c	(revision bd92e6d58d98c6e39be91bc9e1d2d04be71b5c04)
@@ -44,7 +44,9 @@
 #include <stdio.h>
 
-static void log(const volatile void *place, uint32_t val, volatile void* base, size_t size, void *data, bool write)
+static void
+log(const volatile void *place, uint64_t val, volatile void *base, size_t size,
+    void *data, bool write)
 {
-	printf("PIO %s: %p(%p) %#"PRIx32"\n", write ? "WRITE" : "READ",
+	printf("PIO %s: %p(%p) %#"PRIx64"\n", write ? "WRITE" : "READ",
 	    (place - base) + data, place, val);
 }