X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=d832059086a563134303e16f87146f5cd1691bba;hb=0af829fd672d0b52f89183042fe535413d046e8d;hp=bd0ff9daed9ec26bfe5ae35ff5266917b72329b1;hpb=e62ca0b357f09804d7d894949df44224c9d74bb7;p=bertos.git diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c index bd0ff9da..d8320590 100644 --- a/bertos/drv/timer.c +++ b/bertos/drv/timer.c @@ -40,7 +40,8 @@ #include "cfg/cfg_timer.h" #include "cfg/cfg_wdt.h" -#include "cfg/cfg_kern.h" +#include "cfg/cfg_proc.h" +#include "cfg/cfg_signal.h" #include #include #include @@ -48,6 +49,7 @@ #include #include #include +#include // cpu_relax() /* * Include platform-specific binding code if we're hosted. @@ -57,7 +59,10 @@ //#include OS_CSOURCE(timer) #include #else - #include CPU_CSOURCE(timer) + #ifndef WIZ_AUTOGEN + #warning Deprecated: now you should include timer_ directly in the makefile. Remove this line and the following once done. + #include CPU_CSOURCE(timer) + #endif #endif /* @@ -197,11 +202,7 @@ void timer_delayTicks(ticks_t delay) /* Busy wait */ while (timer_clock() - start < delay) - { -#if CONFIG_WATCHDOG - wdt_reset(); -#endif - } + cpu_relax(); #endif /* !CONFIG_KERN_SIGNALS */ }