arch_timer.h revision 0b46b8a7
1