void __fastcall __noreturn KiPassiveIsrWatchdog(__int64 a1, _KEVENT *a2){ KeSetEvent(a2, 0, 0); DbgPrintEx(0x65u, 0, "\nPassive-level ISR watchdog timeout! Interrupt: %p\n", *((const void **)a2 + 3)); __debugbreak(); }