arch_timer.cpp revision bd185b4117e06c1674c4d214abc3917acedc560d
1