ReactOS 0.4.15-dev-8393-g61b7fb9
wdfverifier.h
Go to the documentation of this file.
1/*++
2
3Copyright (c) Microsoft Corporation. All rights reserved.
4
5_WdfVersionBuild_
6
7Module Name:
8
9 wdfverifier.h
10
11Abstract:
12
13 This module contains Driver Frameworks Verifier definitions
14
15Environment:
16
17 kernel mode only
18
19Revision History:
20
21
22--*/
23
24//
25// NOTE: This header is generated by stubwork. Please make any
26// modifications to the corresponding template files
27// (.x or .y) and use stubwork to regenerate the header
28//
29
30#ifndef _WDFVERIFIER_H_
31#define _WDFVERIFIER_H_
32
33#ifndef WDF_EXTERN_C
34 #ifdef __cplusplus
35 #define WDF_EXTERN_C extern "C"
36 #define WDF_EXTERN_C_START extern "C" {
37 #define WDF_EXTERN_C_END }
38 #else
39 #define WDF_EXTERN_C
40 #define WDF_EXTERN_C_START
41 #define WDF_EXTERN_C_END
42 #endif
43#endif
44
46
47#ifndef STDCALL // __REACTOS__
48#define STDCALL __stdcall
49#endif
50
51#if (NTDDI_VERSION >= NTDDI_WIN2K)
52
53
54
55//
56// WDF Function: WdfVerifierDbgBreakPoint
57//
58typedef
62 _In_
64 );
65
67VOID
69 )
70{
72}
73
74//
75// WDF Function: WdfVerifierKeBugCheck
76//
77typedef
81 _In_
83 _In_
84 ULONG BugCheckCode,
85 _In_
86 ULONG_PTR BugCheckParameter1,
87 _In_
88 ULONG_PTR BugCheckParameter2,
89 _In_
90 ULONG_PTR BugCheckParameter3,
91 _In_
92 ULONG_PTR BugCheckParameter4
93 );
94
96VOID
98 _In_
99 ULONG BugCheckCode,
100 _In_
101 ULONG_PTR BugCheckParameter1,
102 _In_
103 ULONG_PTR BugCheckParameter2,
104 _In_
105 ULONG_PTR BugCheckParameter3,
106 _In_
107 ULONG_PTR BugCheckParameter4
108 )
109{
110 ((PFN_WDFVERIFIERKEBUGCHECK) WdfFunctions[WdfVerifierKeBugCheckTableIndex])(WdfDriverGlobals, BugCheckCode, BugCheckParameter1, BugCheckParameter2, BugCheckParameter3, BugCheckParameter4);
111}
112
113//
114// WDF Function: WdfGetTriageInfo
115//
116typedef
117WDFAPI
120 _In_
122 );
123
125PVOID
127 )
128{
130}
131
132
133
134#endif // (NTDDI_VERSION >= NTDDI_WIN2K)
135
136
138
139#endif // _WDFVERIFIER_H_
140
#define VOID
Definition: acefi.h:82
DriverGlobals
#define _In_
Definition: ms_sal.h:308
void * PVOID
Definition: typedefs.h:50
uint32_t ULONG_PTR
Definition: typedefs.h:65
uint32_t ULONG
Definition: typedefs.h:59
#define WdfFunctions
Definition: wdf.h:66
PWDF_DRIVER_GLOBALS WdfDriverGlobals
@ WdfGetTriageInfoTableIndex
Definition: wdffuncenum.h:456
@ WdfVerifierDbgBreakPointTableIndex
Definition: wdffuncenum.h:392
@ WdfVerifierKeBugCheckTableIndex
Definition: wdffuncenum.h:393
#define WDFAPI
Definition: wdftypes.h:53
#define FORCEINLINE
Definition: wdftypes.h:67
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: wdfverifier.h:80
FORCEINLINE VOID WdfVerifierDbgBreakPoint()
Definition: wdfverifier.h:68
#define WDF_EXTERN_C_END
Definition: wdfverifier.h:41
FORCEINLINE PVOID WdfGetTriageInfo()
Definition: wdfverifier.h:126
#define STDCALL
Definition: wdfverifier.h:48
#define WDF_EXTERN_C_START
Definition: wdfverifier.h:40
FORCEINLINE VOID WdfVerifierKeBugCheck(_In_ ULONG BugCheckCode, _In_ ULONG_PTR BugCheckParameter1, _In_ ULONG_PTR BugCheckParameter2, _In_ ULONG_PTR BugCheckParameter3, _In_ ULONG_PTR BugCheckParameter4)
Definition: wdfverifier.h:97
WDFAPI VOID(STDCALL * PFN_WDFVERIFIERDBGBREAKPOINT)(_In_ PWDF_DRIVER_GLOBALS DriverGlobals)
Definition: wdfverifier.h:61
WDFAPI PVOID(STDCALL * PFN_WDFGETTRIAGEINFO)(_In_ PWDF_DRIVER_GLOBALS DriverGlobals)
Definition: wdfverifier.h:119