arch_timer.h revision a38b71b0
1