arch_timer.c revision c6fe89ff
1