Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 201abde2f6d30f23f1aab2b46d1a55da556278f1)
+++ kernel/generic/src/syscall/syscall.c	(revision 8b243f295e54de841c17a2606bdc9a2fe484dbbb)
@@ -93,6 +93,6 @@
 
 /** Dispatch system call */
-unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3,
-			 unative_t a4, unative_t id)
+unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, unative_t a4,
+    unative_t id)
 {
 	unative_t rc;
@@ -101,5 +101,6 @@
 		rc = syscall_table[id](a1, a2, a3, a4);
 	else {
-		klog_printf("TASK %llu: Unknown syscall id %d",TASK->taskid,id);
+		klog_printf("TASK %llu: Unknown syscall id %d", TASK->taskid,
+		    id);
 		task_kill(TASK->taskid);
 		thread_exit();