# HG changeset patch
# User etisserant
# Date 1176894399 -7200
# Node ID d069631e9ca93c36a030b0a474b17b47735277ba
# Parent  90c0a676e631d5e26ce67c29530980095c73c251
Fixed segfault with Xenomai timer_xeno.c

diff -r 90c0a676e631 -r d069631e9ca9 drivers/timers_xeno/timers_xeno.c
--- 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;