arch_timer.cpp revision 8ca0f03d
1