arch_timer.c revision 768e9a61
1