Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 041b026be4543502c8e624137bc93ee91fb5d06e)
@@ -46,4 +46,5 @@
 	if (!vhpt_base)
 		panic("Kernel configured with VHPT but no memory for table.");
+	
 	vhpt_invalidate_all();
 	return (uintptr_t) vhpt_base;