mach_timer.h revision b2441318
1