Index: uspace/drv/platform/amdm37x/amdm37x.c
===================================================================
--- uspace/drv/platform/amdm37x/amdm37x.c	(revision 2b11c3c0cf74426080bd899202376055d7cb591d)
+++ uspace/drv/platform/amdm37x/amdm37x.c	(revision aa537a5a4e471cb463f4e25b55458fc8974897a7)
@@ -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);
 }