arm_arch_timer.c revision 8a4da6e3
1