arch_timer.cpp revision fe2b6d77
1