Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision cb597bc2828a1512e5360ca1322efec1021d7c1d)
+++ kernel/arch/amd64/src/mm/page.c	(revision fabc883d64c4961d00f1413b0d4b3f6776217638)
@@ -203,5 +203,6 @@
 {
 	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 (%d bytes).", physaddr,
+		    size);
 	
 	uintptr_t virtaddr = PA2KA(last_frame);