VOID __stdcall VfDevObjMarkDeviceRemoved(DEVICE_OBJECT *DeviceObject){
UINT64 v1;
CHAR *v2;
__int128 v3;
v3 = 0i64;
if( (MmVerifierData & 0x10) != 0 )
{
VfAvlInitializeLockContext((INT64)&v3, 1i64);
v2 = VfAvlLookupTreeNode(&ViDevObjAvl, (INT64)&v3, v1, 0i64);
if( v2 )
_InterlockedOr((volatile signed __int32 *)v2 + 4, 2u);
VfAvlCleanupLockContext((INT64)&v3);
}
}