No differences between xnu-12377.121.6 and xnu-11417.140.69 for /iokit/Kernel/IOTimerEventSource.cpp.