ReactOS 0.4.15-dev-7842-g558ab78
vffuncs.h
Go to the documentation of this file.
1/*++ NDK Version: 0098
2
3Copyright (c) ReactOS Portable Systems Group. All rights reserved.
4
5Header Name:
6
7 vffuncs.h
8
9Abstract:
10
11 Function definitions for the Driver Verifier.
12
13Author:
14
15 ReactOS Portable Systems Group (ros.arm@reactos.org) - Created - 27-Jun-2010
16
17--*/
18
19#ifndef _VFFUNCS_H
20#define _VFFUNCS_H
21
22//
23// Dependencies
24//
25#include <umtypes.h>
26#include <vftypes.h>
27
28#ifndef NTOS_MODE_USER
29
30//
31// Verifier Device Driver Interface
32//
36 _In_ VF_OBJECT_TYPE VfObjectType,
38);
39
40VOID
43 _In_ ULONG BugCheckMajorCode,
44 _In_ ULONG BugCheckMinorCode,
45 _In_ VF_FAILURE_CLASS FailureClass,
46 _Inout_ PULONG AssertionControl,
47 _In_ PSTR DebuggerMessageText,
48 _In_ PSTR ParameterFormatString,
49 ...
50);
51#endif
52
53#endif
unsigned char BOOLEAN
PDEVICE_OBJECT PhysicalDeviceObject
Definition: btrfs_drv.h:1157
#define _Inout_
Definition: ms_sal.h:378
#define _In_
Definition: ms_sal.h:308
#define _In_opt_
Definition: ms_sal.h:309
uint32_t * PULONG
Definition: typedefs.h:59
char * PSTR
Definition: typedefs.h:51
#define NTAPI
Definition: typedefs.h:36
uint32_t ULONG
Definition: typedefs.h:59
BOOLEAN NTAPI VfIsVerificationEnabled(_In_ VF_OBJECT_TYPE VfObjectType, _In_opt_ PVOID Object)
VOID VfFailDeviceNode(_In_ PDEVICE_OBJECT PhysicalDeviceObject, _In_ ULONG BugCheckMajorCode, _In_ ULONG BugCheckMinorCode, _In_ VF_FAILURE_CLASS FailureClass, _Inout_ PULONG AssertionControl, _In_ PSTR DebuggerMessageText, _In_ PSTR ParameterFormatString,...)
enum _VF_FAILURE_CLASS VF_FAILURE_CLASS
enum _VF_OBJECT_TYPE VF_OBJECT_TYPE
_Must_inspect_result_ _In_ WDFCOLLECTION _In_ WDFOBJECT Object