Index: kernel/arch/ppc32/src/mm/frame.c
===================================================================
--- kernel/arch/ppc32/src/mm/frame.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/arch/ppc32/src/mm/frame.c	(revision 1b0673154d95f4f1bd78a65c9fc775c3cbe11cc8)
@@ -39,6 +39,20 @@
 #include <align.h>
 #include <macros.h>
+#include <print.h>
 
 uintptr_t last_frame = 0;
+
+void physmem_print(void)
+{
+	unsigned int i;
+	
+	printf("Base       Size\n");
+	printf("---------- ----------\n");
+		
+	for (i = 0; i < bootinfo.memmap.count; i++) {
+		printf("%#10x %#10x\n", bootinfo.memmap.zones[i].start,
+			bootinfo.memmap.zones[i].size);
+	}
+}
 
 void frame_arch_init(void)
Index: kernel/arch/ppc32/src/mm/memory_init.c
===================================================================
--- kernel/arch/ppc32/src/mm/memory_init.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/arch/ppc32/src/mm/memory_init.c	(revision 1b0673154d95f4f1bd78a65c9fc775c3cbe11cc8)
@@ -43,13 +43,4 @@
 }
 
-
-void memory_print_map(void)
-{
-	count_t i;
-	
-	for (i = 0; i < bootinfo.memmap.count; i++)
-		printf("base: %.*p size: %#x\n", sizeof(bootinfo.memmap.zones[i].start) * 2, bootinfo.memmap.zones[i].start, bootinfo.memmap.zones[i].size);
-}
-
 /** @}
  */