The interrupt service routine is defined by the Kernel as follows:
BOOLEAN (*PKSERVICE_ROUTINE) ( IN PKINTERRUPT Interrupt, IN PVOID ServiceContext );
This documentation summarizes the required functionality of an NT device driver’s standard interrupt service routine and the requirements for setting up an ISR.