arch_timer.cpp revision 734d41fbf6c9674cf4e1dd074503606db51c52ff
1