arch_timer.c revision caf12f3b
1