fxverifierbugcheck.cpp File Reference

#include "fxobjectpch.hpp"

Include dependency graph for fxverifierbugcheck.cpp:

Go to the source code of this file.

Functions
DECLSPEC_NORETURN VOID	FxVerifierBugCheckWorker (__in PFX_DRIVER_GLOBALS FxDriverGlobals, __in WDF_BUGCHECK_CODES WdfBugCheckCode, __in_opt ULONG_PTR BugCheckParameter2, __in_opt ULONG_PTR BugCheckParameter3)
DECLSPEC_NORETURN VOID	FxVerifierNullBugCheck (__in PFX_DRIVER_GLOBALS FxDriverGlobals, __in PVOID ReturnAddress)

Function Documentation

FxVerifierBugCheckWorker()

DECLSPEC_NORETURN VOID FxVerifierBugCheckWorker	(	__in PFX_DRIVER_GLOBALS	FxDriverGlobals,
		__in WDF_BUGCHECK_CODES	WdfBugCheckCode,
		__in_opt ULONG_PTR	BugCheckParameter2,
		__in_opt ULONG_PTR	BugCheckParameter3
	)

Definition at line 44 of file fxverifierbugcheck.cpp.

{
    //
    // Indicate to the BugCheck callback filter which IFR to dump.
    //
    FxDriverGlobals->FxForceLogsInMiniDump = TRUE;
 
    Mx::MxBugCheckEx(WDF_VIOLATION,
                 WdfBugCheckCode,
                 BugCheckParameter2,
                 BugCheckParameter3,
                 (ULONG_PTR) FxDriverGlobals );
}

FxVerifierNullBugCheck()

DECLSPEC_NORETURN VOID FxVerifierNullBugCheck	(	__in PFX_DRIVER_GLOBALS	FxDriverGlobals,
		__in PVOID	ReturnAddress
	)

Definition at line 77 of file fxverifierbugcheck.cpp.

{
 
    DoTraceLevelMessage( FxDriverGlobals, TRACE_LEVEL_FATAL, TRACINGERROR,
                         "NULL Required Parameter Passed to a DDI\n"
                         "FxDriverGlobals 0x%p",
                         FxDriverGlobals
                         );
 
    FxVerifierBugCheck(FxDriverGlobals,
                       WDF_REQUIRED_PARAMETER_IS_NULL,  // Bugcheck code.
                       0,                               // Parameter 2
                       (ULONG_PTR)ReturnAddress         // Parameter 3
                       );
}