VOID __stdcall VfIrpWatermark(_IRP *Irp, UINT64 Flags){
char v2;
_IOV_DATABASE_HEADER *v3;
v2 = Flags;
v3 = VfIrpDatabaseEntryFindAndLock(Irp);
if( v3 )
{
if( (v2 & 1) != 0 )
v3[14] |= 0x100000u;
if( (v2 & 2) != 0 )
v3[14] |= 0x20u;
VfIrpDatabaseEntryReleaseLock(v3);
}
}