arch_timer.cpp revision ba06f076
1