arch_timer.cpp revision a7c23bb4
1