arch_timer.c revision 03a0c819
1