--- a/drivers/timers_kernel/timers_kernel.c Tue May 27 17:43:33 2008 +0200
+++ b/drivers/timers_kernel/timers_kernel.c Mon Jun 02 08:52:06 2008 +0200
@@ -36,6 +36,15 @@
last_occured_alarm,
last_alarm_set;
+void TimerInit(void)
+{
+ /* only used in realtime apps */
+}
+
+void TimerCleanup(void)
+{
+ /* only used in realtime apps */
+}
void EnterMutex(void)
{
@@ -71,10 +80,11 @@
LeaveMutex();
}
-void StopTimerLoop(void)
+void StopTimerLoop(TimerCallback_t exitfunction)
{
EnterMutex();
del_timer (&timer);
+ exitfunction(NULL,0);
LeaveMutex();
}
@@ -99,7 +109,7 @@
*Thread = kthread_run(ReceiveLoopPtr, port, "canReceiveLoop");
}
-void WaitReceiveTaskEnd(TASK_HANDLE Thread)
+void WaitReceiveTaskEnd(TASK_HANDLE *Thread)
{
- force_sig (SIGTERM, Thread);
+ force_sig (SIGTERM, *Thread);
}