arm_arch_timer.c revision e392d603
1