IovUtilMarkStack

VOID __stdcall IovUtilMarkStack(
        _DEVICE_OBJECT *PhysicalDeviceObject,
        _DEVICE_OBJECT *BottomOfFdoStack,
        _DEVICE_OBJECT *FunctionalDeviceObject,
        UINT64 RawStack){
  _DEVICE_OBJECT *v4; 
  _DEVICE_OBJECT *v5; 
  int v6; 
  _DEVICE_OBJECT *v7; 
  _MARK_TYPE v8; 
  _DEVICE_OBJECT *FunctionalDeviceObjecta; 

  v4 = FunctionalDeviceObject;
  v5 = PhysicalDeviceObject;
  if( BottomOfFdoStack && IovUtilVerifierEnabled )
    IovpUtilMarkDeviceObject(BottomOfFdoStack, 1);
  if( !v4 )
  {
    if( !(_DWORD)RawStack || !IovUtilVerifierEnabled )
      return;
    IovpUtilMarkDeviceObject(v5, 2);
    v8 = 3;
LABEL_14:
    IovpUtilMarkDeviceObject(v7, v8);
    return;
  }
  v6 = IovUtilVerifierEnabled;
  FunctionalDeviceObjecta = v4;
  if( IovUtilVerifierEnabled )
  {
    VfDevObjAdjustFdoForVerifierFilters(&FunctionalDeviceObjecta);
    v4 = FunctionalDeviceObjecta;
  }
  if( v4 && v6 )
  {
    v8 = 2;
    v7 = v4;
    goto LABEL_14;
  }
}

Referenced by:

PipCallDriverAddDevice