arch_timer.h revision c1fbec4a
1