arch_timer.h revision f31e98bf
1