Index: generic/src/mm/frame.c
===================================================================
--- generic/src/mm/frame.c	(revision ad64a2ddba551153ce5b45ee7d5dc1eaadecce1a)
+++ generic/src/mm/frame.c	(revision 50de918ee03e2d69dce7bc2641ba60d65d2fcbf7)
@@ -281,5 +281,5 @@
 	zone = (zone_t *) b->data;
 	index = frame_index(zone, frame);
-	printf("%d", index);
+	printf("%zd", index);
 }				     
 
@@ -1029,5 +1029,5 @@
 		zone = zones.info[i];
 		spinlock_lock(&zone->lock);
-		printf("%d: %L\t%d\t\t%d\n",i,PFN2ADDR(zone->base), 
+		printf("%d: %#X \t%zd\t\t%zd\n",i,PFN2ADDR(zone->base), 
 		       zone->free_count, zone->busy_count);
 		spinlock_unlock(&zone->lock);
@@ -1062,8 +1062,8 @@
 	spinlock_lock(&zone->lock);
 	printf("Memory zone information\n");
-	printf("Zone base address: %P\n", PFN2ADDR(zone->base));
-	printf("Zone size: %d frames (%dK)\n", zone->count, ((zone->count) * FRAME_SIZE) >> 10);
-	printf("Allocated space: %d frames (%dK)\n", zone->busy_count, (zone->busy_count * FRAME_SIZE) >> 10);
-	printf("Available space: %d (%dK)\n", zone->free_count, (zone->free_count * FRAME_SIZE) >> 10);
+	printf("Zone base address: %#zX\n", PFN2ADDR(zone->base));
+	printf("Zone size: %zd frames (%zdK)\n", zone->count, ((zone->count) * FRAME_SIZE) >> 10);
+	printf("Allocated space: %zd frames (%zdK)\n", zone->busy_count, (zone->busy_count * FRAME_SIZE) >> 10);
+	printf("Available space: %zd (%zdK)\n", zone->free_count, (zone->free_count * FRAME_SIZE) >> 10);
 	buddy_system_structure_print(zone->buddy_system, FRAME_SIZE);