arch_timer.h revision 6acc71cc
1