1 /*++
2
3 Copyright (c) Microsoft Corporation. All rights reserved.
4
5 _WdfVersionBuild_
6
7 Module Name:
8
9 wdfverifier.h
10
11 Abstract:
12
13 This module contains Driver Frameworks Verifier definitions
14
15 Environment:
16
17 kernel mode only
18
19 Revision 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
45 WDF_EXTERN_C_START
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 //
58 typedef
59 WDFAPI
60 VOID
61 (STDCALL *PFN_WDFVERIFIERDBGBREAKPOINT)(
62 _In_
63 PWDF_DRIVER_GLOBALS DriverGlobals
64 );
65
66 FORCEINLINE
67 VOID
WdfVerifierDbgBreakPoint()68 WdfVerifierDbgBreakPoint(
69 )
70 {
71 ((PFN_WDFVERIFIERDBGBREAKPOINT) WdfFunctions[WdfVerifierDbgBreakPointTableIndex])(WdfDriverGlobals);
72 }
73
74 //
75 // WDF Function: WdfVerifierKeBugCheck
76 //
77 typedef
78 WDFAPI
79 VOID
80 (STDCALL *PFN_WDFVERIFIERKEBUGCHECK)(
81 _In_
82 PWDF_DRIVER_GLOBALS DriverGlobals,
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
95 FORCEINLINE
96 VOID
WdfVerifierKeBugCheck(_In_ ULONG BugCheckCode,_In_ ULONG_PTR BugCheckParameter1,_In_ ULONG_PTR BugCheckParameter2,_In_ ULONG_PTR BugCheckParameter3,_In_ ULONG_PTR BugCheckParameter4)97 WdfVerifierKeBugCheck(
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 //
116 typedef
117 WDFAPI
118 PVOID
119 (STDCALL *PFN_WDFGETTRIAGEINFO)(
120 _In_
121 PWDF_DRIVER_GLOBALS DriverGlobals
122 );
123
124 FORCEINLINE
125 PVOID
WdfGetTriageInfo()126 WdfGetTriageInfo(
127 )
128 {
129 return ((PFN_WDFGETTRIAGEINFO) WdfFunctions[WdfGetTriageInfoTableIndex])(WdfDriverGlobals);
130 }
131
132
133
134 #endif // (NTDDI_VERSION >= NTDDI_WIN2K)
135
136
137 WDF_EXTERN_C_END
138
139 #endif // _WDFVERIFIER_H_
140
141