arm_arch_timer.c revision 992dd16f
1