diff -r b71655eca5e2 -r 40efa79d27dd src/symbols.c
--- a/src/symbols.c	Tue May 27 17:43:33 2008 +0200
+++ b/src/symbols.c	Mon Jun 02 08:52:06 2008 +0200
@@ -124,7 +124,9 @@
 // timers_driver.h
 EXPORT_SYMBOL (EnterMutex);
 EXPORT_SYMBOL (LeaveMutex);
-EXPORT_SYMBOL (WaitReceiveTaskEnd);
+EXPORT_SYMBOL (TimerInit);
+EXPORT_SYMBOL (TimerCleanup);
 EXPORT_SYMBOL (StartTimerLoop);
 EXPORT_SYMBOL (StopTimerLoop);
 EXPORT_SYMBOL (CreateReceiveTask);
+EXPORT_SYMBOL (WaitReceiveTaskEnd);