14  * 2010-05-12     Bernard      fix the timer check bug.
185     /* timer check */  in rt_timer_init()
206     /* timer check */  in rt_timer_detach()
269     /* timer check */  in rt_timer_delete()
305     /* timer check */  in rt_timer_start()
401         /* check whether timer thread is ready */  in rt_timer_start()
404             /* resume timer thread to check soft timer */  in rt_timer_start()
426     /* timer check */  in rt_timer_stop()
461     /* timer check */  in rt_timer_control()
489  * This function will check timer list, if a timeout event happens, the
500     RT_DEBUG_LOG(RT_DEBUG_TIMER, ("timer check enter\n"));  in rt_timer_check()
552     RT_DEBUG_LOG(RT_DEBUG_TIMER, ("timer check leave\n"));  in rt_timer_check()
567  * This function will check timer list, if a timeout event happens, the
576     RT_DEBUG_LOG(RT_DEBUG_TIMER, ("software timer check enter\n"));  in rt_soft_timer_check()
629         else break; /* not check anymore */  in rt_soft_timer_check()
635     RT_DEBUG_LOG(RT_DEBUG_TIMER, ("software timer check leave\n"));  in rt_soft_timer_check()
668         /* check software timer */  in rt_thread_timer_entry()