No differences between xnu-201.42.3 and xnu-792 for /iokit/Examples/drvGenericInterruptController/GenericInterruptController.cpp.