No differences between xnu-12377.101.15 and xnu-10002.41.9 for /iokit/Kernel/IOInterruptController.cpp.