Use correct inode_t type.

[bertos.git] / bertos / drv / timer.h

diff --git a/bertos/drv/timer.h b/bertos/drv/timer.h
index 41f43f655d5cc191201fd0c7c8fa1736d334c965..9e3e2b30f282d47944d0a24ed524d81e5e177973 100644 (file)
--- a/bertos/drv/timer.h
+++ b/bertos/drv/timer.h
@@ -51,7 +51,8 @@
  * Try the CPU specific one for bare-metal environments.
  */
 #if OS_HOSTED
-       #include OS_HEADER(timer)
+       //#include OS_HEADER(timer)
+       #include <emul/timer_posix.h>
 #else
        #include CPU_HEADER(timer)
 #endif
@@ -248,12 +249,9 @@ Timer *timer_abort(Timer *timer);
 /** Set the timer so that it calls an user hook when it expires */
 INLINE void timer_setSoftint(Timer *timer, Hook func, iptr_t user_data)
 {
-       event_initSoftInt(&timer->expire, func, user_data);
+       event_initSoftint(&timer->expire, func, user_data);
 }
 
-// OBSOLETE
-#define  timer_set_event_softint timer_setSoftint
-
 /** Set the timer delay (the time before the event will be triggered) */
 INLINE void timer_setDelay(Timer *timer, ticks_t delay)
 {