arch_timer.cpp revision af1c0b55
1