UINT8 __stdcall ViCtxIsr(_KINTERRUPT *Interrupt, VOID *ServiceContext){
char *v4;
UINT8 v5;
v4 = ViCtxCaptureInitialIsrState((__int64)Interrupt);
v5 = (*(__int64(__fastcall **)(_KINTERRUPT *, _QWORD))ServiceContext)(Interrupt, *((_QWORD *)ServiceContext + 1));
if( v4 )
ViCtxCheckAndReleaseIsrState((__int64)v4, *(_QWORD *)ServiceContext);
return v5;
}