No differences between xnu-12377.81.4 and xnu-10002.61.3 for /iokit/Kernel/IOInterruptController.cpp.