arm_arch_timer.h revision b4d6ce97
1