arch_timer.h revision 5a354412
1