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