arm_arch_timer.c revision 1aee5d7a
1