In the broadcom data sheet it is written about the value register of the arm timer:
Does that mean that the interrupt handler for the timer runs only when the value register reaches 0 ?This register holds the current timer value and is counted down when the counter is running. It is
counted down each timer clock until the value 0 is reached. Then the value register is re-loaded from
the timer load register and the interrupt pending bit is set.