vffuncs.h

Go to the documentation of this file.

/*++ NDK Version: 0098
 
Copyright (c) ReactOS Portable Systems Group.  All rights reserved.
 
Header Name:
 
    vffuncs.h
 
Abstract:
 
    Function definitions for the Driver Verifier.
 
Author:
 
    ReactOS Portable Systems Group (ros.arm@reactos.org) - Created - 27-Jun-2010
 
--*/
 
#ifndef _VFFUNCS_H
#define _VFFUNCS_H
 
//
// Dependencies
//
#include <umtypes.h>
#include <vftypes.h>
 
#ifndef NTOS_MODE_USER
 
//
// Verifier Device Driver Interface
//
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,
    ...
);
 
VOID
VfFailSystemBIOS(
    _In_ ULONG BugCheckMajorCode,
    _In_ ULONG BugCheckMinorCode,
    _In_ VF_FAILURE_CLASS FailureClass,
    _Inout_ PULONG AssertionControl,
    _In_ PSTR DebuggerMessageText,
    _In_ PSTR ParameterFormatString,
    ...
);
#endif
 
#endif