30#ifndef _WDFVERIFIER_H_
31#define _WDFVERIFIER_H_
35 #define WDF_EXTERN_C extern "C"
36 #define WDF_EXTERN_C_START extern "C" {
37 #define WDF_EXTERN_C_END }
40 #define WDF_EXTERN_C_START
41 #define WDF_EXTERN_C_END
48#define STDCALL __stdcall
51#if (NTDDI_VERSION >= NTDDI_WIN2K)
PWDF_DRIVER_GLOBALS WdfDriverGlobals
@ WdfGetTriageInfoTableIndex
@ WdfVerifierDbgBreakPointTableIndex
@ WdfVerifierKeBugCheckTableIndex
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)
FORCEINLINE VOID WdfVerifierDbgBreakPoint()
FORCEINLINE PVOID WdfGetTriageInfo()
#define WDF_EXTERN_C_START
FORCEINLINE VOID WdfVerifierKeBugCheck(_In_ ULONG BugCheckCode, _In_ ULONG_PTR BugCheckParameter1, _In_ ULONG_PTR BugCheckParameter2, _In_ ULONG_PTR BugCheckParameter3, _In_ ULONG_PTR BugCheckParameter4)
WDFAPI VOID(STDCALL * PFN_WDFVERIFIERDBGBREAKPOINT)(_In_ PWDF_DRIVER_GLOBALS DriverGlobals)
WDFAPI PVOID(STDCALL * PFN_WDFGETTRIAGEINFO)(_In_ PWDF_DRIVER_GLOBALS DriverGlobals)