arch_timer.c revision 40918184
1