arch_timer_generic.cpp revision cd5f6f25
1