arch_timer.h revision ec5c8e42
1