arch_timer.h revision e09f3cc0
1