VfRemLockDeleteMemoryRange

VOID __stdcall VfRemLockDeleteMemoryRange(PVOID Address, UINT64 a2){
  CHAR *v4; 
  __int128 v5; 
  v5 = 0i64;
  if( ViRemLockInitialized )
  {
    if( qword_140D4A508 )
    {
      if( !(unsigned int)VfPoolIsInternalFree() )
      {
        VfAvlInitializeLockContext((INT64)&v5, 1i64);
        v4 = VfAvlLookupTreeNode(&ViRemLockAvl, (INT64)&v5, (UINT64)Address, a2);
        VfAvlCleanupLockContext((INT64)&v5);
        if( v4 )
        {
          while( (unsigned int)ViRemLockDeleteFirstTreeNode(Address, a2) )
            ;
        }
      }
    }
  }
}

Referenced by:

VfDriverUnloadImage
VfFreeMemoryNotification
VfFreePoolNotification