Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/ppc64/src/mm/page.c	(revision d51db079aa01ad329ce298e255b1840cd48189bb)
@@ -290,5 +290,5 @@
 {
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+		panic("Unable to map physical memory %p (%" PRIs " bytes)", physaddr, size)
 	
 	uintptr_t virtaddr = PA2KA(last_frame);