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 5b08d7506fa0a7bbf6c9ccbfd674f4bca498b5b1)
@@ -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;