ReactOS  0.4.15-dev-3331-g8ebe441
fxverifierkm.h
Go to the documentation of this file.
1 /*++
2 
3 Copyright (c) Microsoft Corporation
4 
5 Module Name:
6 
7  FxVerifierKm.cpp
8 
9 Abstract:
10 
11  Verifier code specific to KMDF
12 
13 Environment:
14 
15  kernel mode
16 
17 Revision History:
18 
19 
20 
21 --*/
22 
23 #ifndef _FXVERIFIERKM_H_
24 #define _FXVERIFIERKM_H_
25 
27 VOID
29  _In_ PFX_DRIVER_GLOBALS FxDriverGlobals,
32  )
33 
34 /*++
35 
36 Routine Description:
37 
38  This function performs the "no execute" pool type check for KMDF
39  client drivers.
40 
41  N.B. It is important to keep this function inlined to make sure
42  _ReturnAddress() produces the correct calling function.
43 
44 Arguments:
45 
46  FxDriverGlobals - Supplies a pointer to the WDF driver object
47  globals.
48 
49  PoolType - Supplies the pool type.
50 
51  PoolTag - Supplies an optional pool tag.
52 
53 Return Value:
54 
55  None.
56 
57 --*/
58 
59 {
60  if (FxDriverGlobals->FxVerifierOn &&
62 
63  //
64  // Forward the call to Driver Verifier. This will provide a consistent
65  // behavior across all verified drivers.
66  //
67 
69  }
70 }
71 
72 #endif // _FXVERIFIERKM_H_
#define _In_
Definition: ms_sal.h:308
INT POOL_TYPE
Definition: typedefs.h:78
PFN_VF_CHECK_NX_POOL_TYPE VfCheckNxPoolType
Definition: fxglobals.h:766
_Must_inspect_result_ _In_opt_ PWDF_OBJECT_ATTRIBUTES _In_ _Strict_type_match_ POOL_TYPE _In_opt_ ULONG PoolTag
Definition: wdfmemory.h:159
FxLibraryGlobalsType FxLibraryGlobals
Definition: globals.cpp:95
FORCEINLINE VOID FxVerifierCheckNxPoolType(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals, _In_ POOL_TYPE PoolType, _In_ ULONG PoolTag)
Definition: fxverifierkm.h:28
#define FORCEINLINE
Definition: wdftypes.h:67
#define NULL
Definition: types.h:112
void * _ReturnAddress(void)
_Must_inspect_result_ _In_ WDFDEVICE _In_ DEVICE_REGISTRY_PROPERTY _In_ _Strict_type_match_ POOL_TYPE PoolType
Definition: wdfdevice.h:3810
unsigned int ULONG
Definition: retypes.h:1