Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/ia64.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64
+/** @addtogroup ia64
  * @{
  */
@@ -153,5 +153,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/interrupt.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -217,10 +217,5 @@
 	}
 
-	if (istate->in4 < SYSCALL_END)
-		return syscall_table[istate->in4](istate->in0, istate->in1, istate->in2, istate->in3);
-	else
-		panic("Undefined syscall %d", istate->in4);
-		
-	return -1;
+	return syscall_handler(istate->in0, istate->in1, istate->in2, istate->in3, istate->in4);
 }
 
Index: kernel/arch/ia64/src/mm/as.c
===================================================================
--- kernel/arch/ia64/src/mm/as.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/mm/as.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm
+/** @addtogroup ia64mm
  * @{
  */
@@ -86,5 +86,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/mm/frame.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -55,5 +55,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/mm/page.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -28,5 +28,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -264,5 +264,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -32,10 +32,8 @@
 /** @file
 */
-													
 
 #include <arch/mm/vhpt.h>
 #include <mm/frame.h>
 #include <print.h>
-
 
 static vhpt_entry_t* vhpt_base;
Index: kernel/arch/ia64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia64/src/proc/scheduler.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/proc/scheduler.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64proc
+/** @addtogroup ia64proc
  * @{
  */
@@ -89,5 +89,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/putchar.c
===================================================================
--- kernel/arch/ia64/src/putchar.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/putchar.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -41,5 +41,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ia64/src/ski/ski.c	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -159,5 +159,4 @@
 }
 
-
 static chardev_operations_t ski_ops = {
 	.resume = ski_kb_enable,
@@ -166,5 +165,4 @@
 	.read = ski_getchar_blocking
 };
-
 
 /** Initialize debug console
@@ -189,4 +187,5 @@
 
 }
+
 /** Setup console sysinfo (i.e. Keyboard IRQ)
  *
@@ -201,5 +200,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */