function rt_timer_check(void) is already decleared in rtthread.h