arch_timer.h revision ec8f7f33
1