ReactOS 0.4.15-dev-8348-gc1b9bb5
fxverifierkm.h
Go to the documentation of this file.
1/*++
2
3Copyright (c) Microsoft Corporation
4
5Module Name:
6
7 FxVerifierKm.cpp
8
9Abstract:
10
11 Verifier code specific to KMDF
12
13Environment:
14
15 kernel mode
16
17Revision History:
18
19
20
21--*/
22
23#ifndef _FXVERIFIERKM_H_
24#define _FXVERIFIERKM_H_
25
27VOID
29 _In_ PFX_DRIVER_GLOBALS FxDriverGlobals,
32 )
33
34/*++
35
36Routine 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
44Arguments:
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
53Return 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 NULL
Definition: types.h:112
FORCEINLINE VOID FxVerifierCheckNxPoolType(_In_ PFX_DRIVER_GLOBALS FxDriverGlobals, _In_ POOL_TYPE PoolType, _In_ ULONG PoolTag)
Definition: fxverifierkm.h:28
#define _ReturnAddress()
Definition: intrin_arm.h:35
#define _In_
Definition: ms_sal.h:308
FxLibraryGlobalsType FxLibraryGlobals
Definition: globals.cpp:95
PFN_VF_CHECK_NX_POOL_TYPE VfCheckNxPoolType
Definition: fxglobals.h:766
INT POOL_TYPE
Definition: typedefs.h:78
uint32_t ULONG
Definition: typedefs.h:59
_Must_inspect_result_ _In_ WDFDEVICE _In_ DEVICE_REGISTRY_PROPERTY _In_ _Strict_type_match_ POOL_TYPE PoolType
Definition: wdfdevice.h:3815
_Must_inspect_result_ _In_opt_ PWDF_OBJECT_ATTRIBUTES _In_ _Strict_type_match_ POOL_TYPE _In_opt_ ULONG PoolTag
Definition: wdfmemory.h:164
#define FORCEINLINE
Definition: wdftypes.h:67