arch_timer.cpp revision 3e236885
1