arch_timer.cpp revision 34ed0fe7
1