arch_timer.c revision 94046732
1