arch_timer.h revision 46efe547
1