void rt_system_timer_thread_init(void) { #ifdef RT_USING_TIMER_SOFT int i; for (i = 0; i < sizeof(rt_soft_timer_list) / sizeof(rt_soft_timer_list[0]); i++) { rt_list_init(rt_soft_timer_list + i); } /* start software timer thread */ rt_thread_init(&timer_thread, ...