arm_arch_timer.c revision 1e8d9292
1