arch_timer.h revision a05c4c2b
1