arch_timer.h revision 1aee5d7a
1