arch_timer.c revision 30ec7997
1