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