Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 235d31de52ec23ea2a4cb3b7837814333820b9cd)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision eab96896da017b09ffd9ad8ca4def6bae35917b6)
@@ -82,5 +82,5 @@
 }
 
-void vhpt_invalidate_all()
+void vhpt_invalidate_all(void)
 {
 	memsetb(vhpt_base, VHPT_SIZE, 0);