Symbol: sp804_timer_tc_get_timecount