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