arch_timer.c revision b57de4ff
1