UINT8 __stdcall ViCtxIsrMessageBased(_KINTERRUPT *Interrupt, VOID *ServiceContext, UINT64 MessageID){
unsigned int v3;
char *v6;
UINT8 v7;
v3 = MessageID;
v6 = ViCtxCaptureInitialIsrState((__int64)Interrupt);
v7 = (*((__int64(__fastcall **)(_KINTERRUPT *, _QWORD, _QWORD))ServiceContext + 2))(
Interrupt,
*((_QWORD *)ServiceContext + 1),
v3);
if( v6 )
ViCtxCheckAndReleaseIsrState((__int64)v6, *((_QWORD *)ServiceContext + 2));
return v7;
}