Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision c0697c4cced0c51180b50b6e49c335e4eb0d4d93)
+++ kernel/generic/src/mm/frame.c	(revision 9652bd59e77f347c04ec00c93fda8652cb52baa6)
@@ -1121,13 +1121,27 @@
 	ipl = interrupts_disable();
 	spinlock_lock(&zones.lock);
-	printf("#  base address free frames  busy frames\n");
-	printf("-- ------------ ------------ ------------\n");
+	
+	if (sizeof(void *) == 4) {
+		printf("#  base address free frames  busy frames\n");
+		printf("-- ------------ ------------ ------------\n");
+	} else {
+		printf("#  base address         free frames  busy frames\n");
+		printf("-- -------------------- ------------ ------------\n");
+	}
+	
 	for (i = 0; i < zones.count; i++) {
 		zone = zones.info[i];
 		spinlock_lock(&zone->lock);
-		printf("%-2d %12p %12zd %12zd\n", i, PFN2ADDR(zone->base),
-		    zone->free_count, zone->busy_count);
+		
+		if (sizeof(void *) == 4)
+			printf("%-2d   %#10zx %12zd %12zd\n", i, PFN2ADDR(zone->base),
+			    zone->free_count, zone->busy_count);
+		else
+			printf("%-2d   %#18zx %12zd %12zd\n", i, PFN2ADDR(zone->base),
+			    zone->free_count, zone->busy_count);
+		
 		spinlock_unlock(&zone->lock);
 	}
+	
 	spinlock_unlock(&zones.lock);
 	interrupts_restore(ipl);