VOID __stdcall VfDevObjMarkDeviceRemoved(_DEVICE_OBJECT *DeviceObject){
VOID *v1;
_VF_AVL_TREE_NODE *v2;
_VF_AVL_LOCK_CONTEXT Context[4];
*(_OWORD *)Context = 0i64;
if( (MmVerifierData & 0x10) != 0 )
{
VfAvlInitializeLockContext(Context, Shared);
v2 = VfAvlLookupTreeNode(&ViDevObjAvl, Context, v1, 0i64);
if( v2 )
_InterlockedOr((volatile signed __int32 *)&v2[1], 2u);
VfAvlCleanupLockContext(Context);
}
}