arm_arch_timer.c revision f4e00a1a
1