arch_timer.cpp revision af1c0b55ca4c6303ce2c2d8789442421ddda2bc8
1