VfAvlCleanupLockContext

CHAR __fastcall VfAvlCleanupLockContext(INT64 a1){
  CHAR result; 
  result = *(_BYTE *)(a1 + 9);
  if( (result & 2) != 0 )
  {
    ViAvlReleaseTableLockFromDpcLevel(*(_QWORD *)a1, a1);
    result = *(_BYTE *)(a1 + 9);
  }
  if( (result & 1) != 0 )
  {
    result = KiIrqlFlags;
    __writecr8(*(unsigned __int8 *)(a1 + 8));
    *(_BYTE *)(a1 + 9) &= ~1u;
    *(_BYTE *)(a1 + 8) = 0;
  }
  return result;
}

Referenced by:

VerifierExDeleteResourceLite
VerifierExInitializeResourceLite
VerifierIoInitializeRemoveLockEx
VerifierIoWMIRegistrationControl
VfCheckForLookaside
VfCheckForResource
VfDevObjIsDeviceRemoved
VfDevObjMarkDeviceRemoved
VfRemLockDeleteMemoryRange
VfSuspectDriversGetVerifierInformation
VfTargetDriversAdd
VfTargetDriversEnableVerifier
VfTargetDriversGetNode
VfTargetDriversRemove
VfTargetEtwRegister
VfTargetEtwUnregister
ViDevObjAdd
ViDevObjRemove
ViLookasideAdd
ViLookasideDelete
ViRemLockDeleteFirstTreeNode
ViRemLockFindSurrogate
ViTargetAddToCounter
ViTargetFreeContiguousMemory
ViTargetIncrementCounter
ViTargetTrackContiguousMemory
ViTargetWMIDeregister
ViTargetWMIRegister