char __fastcall ViCtxIsrMessageBased(__int64 a1, __int64 a2, unsigned int a3){
CHAR *v6;
char v7;
v6 = ViCtxCaptureInitialIsrState(a1);
v7 = (*(__int64(__fastcall **)(__int64, _QWORD, _QWORD))(a2 + 16))(a1, *(_QWORD *)(a2 + 8), a3);
if( v6 )
ViCtxCheckAndReleaseIsrState((INT64)v6, *(const VOID **)(a2 + 16));
return v7;
}