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 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 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 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