Symbol: amptimer_get_timecount