arm_arch_timer.c revision 0f80cad3
1