arch_timer.cpp revision 30629f41
1