arch_timer.c revision 456f89e0
1