Index: kernel/arch/ppc32/src/mm/page.c
===================================================================
--- kernel/arch/ppc32/src/mm/page.c	(revision e49e2348e7647a4dd4d4e2879082790396c4f4f3)
+++ kernel/arch/ppc32/src/mm/page.c	(revision 2ffaab52f86b88188c87a855e0cf74cb0ceb2296)
@@ -51,5 +51,5 @@
 	    KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
 		panic("Unable to map physical memory %p (%" PRIs " bytes).",
-		    physaddr, size)
+		    physaddr, size);
 	
 	uintptr_t virtaddr = PA2KA(last_frame);