arch_timer.c revision 2fe9e0fc
1