wdfverifier.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	WDF_EXTERN_C
#define	WDF_EXTERN_C_START
#define	WDF_EXTERN_C_END
#define	STDCALL   __stdcall

Typedefs
typedef WDFAPI VOID(STDCALL *	PFN_WDFVERIFIERDBGBREAKPOINT) (_In_ PWDF_DRIVER_GLOBALS DriverGlobals)
typedef WDFAPI VOID(STDCALL *	PFN_WDFVERIFIERKEBUGCHECK) (_In_ PWDF_DRIVER_GLOBALS DriverGlobals, _In_ ULONG BugCheckCode, _In_ ULONG_PTR BugCheckParameter1, _In_ ULONG_PTR BugCheckParameter2, _In_ ULONG_PTR BugCheckParameter3, _In_ ULONG_PTR BugCheckParameter4)
typedef WDFAPI PVOID(STDCALL *	PFN_WDFGETTRIAGEINFO) (_In_ PWDF_DRIVER_GLOBALS DriverGlobals)

Functions
FORCEINLINE VOID	WdfVerifierDbgBreakPoint ()
FORCEINLINE VOID	WdfVerifierKeBugCheck (_In_ ULONG BugCheckCode, _In_ ULONG_PTR BugCheckParameter1, _In_ ULONG_PTR BugCheckParameter2, _In_ ULONG_PTR BugCheckParameter3, _In_ ULONG_PTR BugCheckParameter4)
FORCEINLINE PVOID	WdfGetTriageInfo ()

Macro Definition Documentation

STDCALL

#define STDCALL   __stdcall

Definition at line 48 of file wdfverifier.h.

WDF_EXTERN_C

#define WDF_EXTERN_C

Definition at line 39 of file wdfverifier.h.

WDF_EXTERN_C_END

#define WDF_EXTERN_C_END

Definition at line 41 of file wdfverifier.h.

WDF_EXTERN_C_START

#define WDF_EXTERN_C_START

Definition at line 40 of file wdfverifier.h.

Typedef Documentation

PFN_WDFGETTRIAGEINFO

typedef WDFAPI PVOID(STDCALL * PFN_WDFGETTRIAGEINFO) (_In_ PWDF_DRIVER_GLOBALS DriverGlobals)

Definition at line 118 of file wdfverifier.h.

PFN_WDFVERIFIERDBGBREAKPOINT

typedef WDFAPI VOID(STDCALL * PFN_WDFVERIFIERDBGBREAKPOINT) (_In_ PWDF_DRIVER_GLOBALS DriverGlobals)

Definition at line 60 of file wdfverifier.h.

PFN_WDFVERIFIERKEBUGCHECK

typedef WDFAPI VOID(STDCALL * PFN_WDFVERIFIERKEBUGCHECK) (_In_ PWDF_DRIVER_GLOBALS DriverGlobals, _In_ ULONG BugCheckCode, _In_ ULONG_PTR BugCheckParameter1, _In_ ULONG_PTR BugCheckParameter2, _In_ ULONG_PTR BugCheckParameter3, _In_ ULONG_PTR BugCheckParameter4)

Definition at line 79 of file wdfverifier.h.

Function Documentation

WdfGetTriageInfo()

FORCEINLINE PVOID WdfGetTriageInfo

(

)

Definition at line 126 of file wdfverifier.h.

{
    return ((PFN_WDFGETTRIAGEINFO) WdfFunctions[WdfGetTriageInfoTableIndex])(WdfDriverGlobals);
}

WdfVerifierDbgBreakPoint()

FORCEINLINE VOID WdfVerifierDbgBreakPoint

(

)

Definition at line 68 of file wdfverifier.h.

{
    ((PFN_WDFVERIFIERDBGBREAKPOINT) WdfFunctions[WdfVerifierDbgBreakPointTableIndex])(WdfDriverGlobals);
}

WdfVerifierKeBugCheck()

FORCEINLINE VOID WdfVerifierKeBugCheck	(	_In_ ULONG	BugCheckCode,
		_In_ ULONG_PTR	BugCheckParameter1,
		_In_ ULONG_PTR	BugCheckParameter2,
		_In_ ULONG_PTR	BugCheckParameter3,
		_In_ ULONG_PTR	BugCheckParameter4
	)

Definition at line 97 of file wdfverifier.h.

{
    ((PFN_WDFVERIFIERKEBUGCHECK) WdfFunctions[WdfVerifierKeBugCheckTableIndex])(WdfDriverGlobals, BugCheckCode, BugCheckParameter1, BugCheckParameter2, BugCheckParameter3, BugCheckParameter4);
}