arch_timer.cpp revision f1b2d3ba
1