VfFailDeviceNode

VOID __stdcall VfFailDeviceNode(
        _DEVICE_OBJECT *PhysicalDeviceObject,
        UINT64 BugCheckMajorCode,
        UINT64 BugCheckMinorCode,
        VF_FAILURE_CLASS FailureClass,
        UINT64 *AssertionControl,
        INT8 *DebuggerMessageText,
        INT8 *ParameterFormatString){
  unsigned int v7; 
  ULONG_PTR v8; 
  ULONG_PTR v9; 
  UINT64 v10; 

  v7 = BugCheckMajorCode;
  v8 = BugCheckMinorCode;
  v9 = (unsigned int)PhysicalDeviceObject;
  if( VfIsVerificationEnabled(VfDriverType, PhysicalDeviceObject) )
    VerifierBugCheckIfAppropriate(v7, v8, v9, 0, 0, v10);
}

Referenced by: