Re: ARM architected timers question.