Symbol: amptimer_startclock