No differences between xnu-2422.100.13 and xnu-2422.1.72 for /iokit/Kernel/IOInterruptEventSource.cpp.