arch_timer.c revision 7ce7f8e7
1