arch_timer.cpp revision 258d4ef9
1