arch_timer.cpp revision a52dd58d
1