No differences between xnu-12377.101.15 and xnu-11417.140.69 for /iokit/Kernel/IOInterruptEventSource.cpp.