--- a/drivers/timers_xeno/timers_xeno.c	Wed Apr 18 13:05:55 2007 +0200
+++ b/drivers/timers_xeno/timers_xeno.c	Wed Apr 18 13:06:39 2007 +0200
@@ -107,7 +107,7 @@
 		return;
 	}
 	// start timerloop_task
-	ret = rt_task_start(ReceiveLoop_task,&ReceiveLoop_task_proc,(void*)fd0);
+	ret = rt_task_start(ReceiveLoop_task,ReceiveLoop_task_proc,(void*)fd0);
 	if (ret) {
 		printf("Failed to start ReceiveLoop_task number %d, code %d\n", id, errno);
 		return;