arch_timer.cpp revision c21157b9cb9decc1199783f088fdfc0bd7ad33e8
1