driver.c File Reference

#include <ntoskrnl.h>
#include <debug.h>

Go to the source code of this file.

Defines
#define	NDEBUG
Functions
BOOLEAN NTAPI	VfIsVerificationEnabled (IN VF_OBJECT_TYPE VfObjectType, IN PVOID Object OPTIONAL)
VOID NTAPI	VfFailDeviceNode (IN PDEVICE_OBJECT PhysicalDeviceObject, IN ULONG BugCheckMajorCode, IN ULONG BugCheckMinorCode, IN VF_FAILURE_CLASS FailureClass, IN OUT PULONG AssertionControl, IN PSTR DebuggerMessageText, IN PSTR ParameterFormatString,...)
VOID NTAPI	VfFailSystemBIOS (IN ULONG BugCheckMajorCode, IN ULONG BugCheckMinorCode, IN VF_FAILURE_CLASS FailureClass, IN OUT PULONG AssertionControl, IN PSTR DebuggerMessageText, IN PSTR ParameterFormatString,...)