Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 0dee00511f1e05f5046b5d0415b0561bb1aa531e)
+++ kernel/arch/ia32/src/mm/page.c	(revision f1a2c6e79489f5b9db610f0a4b56bc17174821e9)
@@ -80,5 +80,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 (%d bytes).", physaddr, size);
 	
 	uintptr_t virtaddr = PA2KA(last_frame);