diff -r 3e24a4d68325 -r 88812de1d7cc drivers/timers_xeno/timers_xeno.c
--- a/drivers/timers_xeno/timers_xeno.c	Mon Jun 19 16:35:12 2006 +0200
+++ b/drivers/timers_xeno/timers_xeno.c	Tue Jun 20 16:56:39 2006 +0200
@@ -120,9 +120,9 @@
 	}
 }
 
-void WaitReceiveTaskEnd(TASK_HANDLE Thread)
+void WaitReceiveTaskEnd(TASK_HANDLE *Thread)
 {
-	rt_task_delete(&Thread);
+	rt_task_delete(Thread);
 }
 
 //#define max(a,b) a>b?a:b