VOID __stdcall VerifierExReleaseFastMutex(_FAST_MUTEX *FastMutex){
_VI_TRACK_IRQL *v2;
VOID *retaddr;
v2 = ViExReleaseFastMutexCommon(FastMutex);
VfDeadlockReleaseResource(FastMutex, VfDeadlockFastMutex, KeGetCurrentThread(), retaddr);
((void(__fastcall *)(_FAST_MUTEX *))pXdvExReleaseFastMutex)(FastMutex);
ViKeIrqlLogCommon(v2, 1ui64);
}