arch_timer.c revision 1e0eec09
1