arm_arch_timer.c revision 5e18e412
1