ViExReleaseFastMutexCommon

_VI_TRACK_IRQL *__fastcall ViExReleaseFastMutexCommon(_FAST_MUTEX *FastMutex){
  unsigned __int8 CurrentIrql; 
  if( (MmVerifierData & 0x800) != 0 )
    CurrentIrql = ViExCheckAPCsDisabled(0x34ui64, FastMutex);
  else
    CurrentIrql = KeGetCurrentIrql();
  return VfKeIrqlTransitionReserveLogEntry(CurrentIrql, FastMutex->OldIrql);
}

Referenced by:

VerifierExReleaseFastMutex
VerifierExReleaseFastMutexNoReboot