arch_timer.c revision 7ed397d1
1