Symbol: agtimer_get_timecount