diff --git a/src/kmulti_rtimer.c b/src/kmulti_rtimer.c index bb9477d6ea7256af0a02a6dbdc611256f317607e..3c855515fc270a54212c8c2915208d1f3d2cee91 100644 --- a/src/kmulti_rtimer.c +++ b/src/kmulti_rtimer.c @@ -482,7 +482,9 @@ void kmulti_rtimer_check(void) rt_list_init(&list); +#ifdef RT_DEBUG_LOG RT_DEBUG_LOG(RT_DEBUG_TIMER, ("timer check enter\n")); +#endif /* RT_DEBUG_LOG */ current_tick = rtimer_tick_get(); @@ -517,7 +519,9 @@ void kmulti_rtimer_check(void) current_tick = rtimer_tick_get(); RT_OBJECT_HOOK_CALL(kmulti_rtimer_exit_hook, (t)); +#ifdef RT_DEBUG_LOG RT_DEBUG_LOG(RT_DEBUG_TIMER, ("current tick: %d\n", current_tick)); +#endif /* RT_DEBUG_LOG */ /* Check whether the timer object is detached or started again */ if (rt_list_isempty(&list)) @@ -539,7 +543,9 @@ void kmulti_rtimer_check(void) /* enable interrupt */ rt_hw_interrupt_enable(level); +#ifdef RT_DEBUG_LOG RT_DEBUG_LOG(RT_DEBUG_TIMER, ("timer check leave\n")); +#endif /* RT_DEBUG_LOG */ } /**