ReactOS  0.4.15-dev-3187-ge372f2b
wdfverifier.h
Go to the documentation of this file.
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 
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
62  _In_
64  );
65 
67 VOID
69  )
70 {
72 }
73 
74 //
75 // WDF Function: WdfVerifierKeBugCheck
76 //
77 typedef
78 WDFAPI
79 VOID
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 
96 VOID
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
120  _In_
122  );
123 
125 PVOID
127  )
128 {
130 }
131 
132 
133 
134 #endif // (NTDDI_VERSION >= NTDDI_WIN2K)
135 
136 
138 
139 #endif // _WDFVERIFIER_H_
140 
FORCEINLINE PVOID WdfGetTriageInfo()
Definition: wdfverifier.h:126
DriverGlobals
WDFAPI VOID(STDCALL * PFN_WDFVERIFIERDBGBREAKPOINT)(_In_ PWDF_DRIVER_GLOBALS DriverGlobals)
Definition: wdfverifier.h:61
#define WdfFunctions
Definition: wdf.h:66
uint32_t ULONG_PTR
Definition: typedefs.h:65
#define WDFAPI
Definition: wdftypes.h:53
#define _In_
Definition: ms_sal.h:308
void * PVOID
Definition: retypes.h:9
#define WDF_EXTERN_C_END
Definition: wdfverifier.h:41
PWDF_DRIVER_GLOBALS WdfDriverGlobals
#define STDCALL
Definition: wdfverifier.h:48
WDFAPI PVOID(STDCALL * PFN_WDFGETTRIAGEINFO)(_In_ PWDF_DRIVER_GLOBALS DriverGlobals)
Definition: wdfverifier.h:119
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
#define VOID
Definition: acefi.h:82
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 FORCEINLINE
Definition: wdftypes.h:67
unsigned int ULONG
Definition: retypes.h:1
#define WDF_EXTERN_C_START
Definition: wdfverifier.h:40