arm_arch_timer.c revision 346e7480
1