char __fastcall ViCtxIsr(__int64 a1, __int64 a2){
CHAR *v4;
char v5;
v4 = ViCtxCaptureInitialIsrState(a1);
v5 = (*(__int64(__fastcall **)(__int64, _QWORD))a2)(a1, *(_QWORD *)(a2 + 8));
if( v4 )
ViCtxCheckAndReleaseIsrState((INT64)v4, *(const VOID **)a2);
return v5;
}