arch_timer.cpp revision 30629f410c67be6720cf3d7ac3d36c10d2413d52
1