68 lines
1.2 KiB
C
68 lines
1.2 KiB
C
|
/*++
|
||
|
|
|
||
|
|
Copyright (c) 2000 Microsoft Corporation
|
||
|
|
|
||
|
|
Module Name:
|
||
|
|
|
||
|
|
vfdef.h
|
||
|
|
|
||
|
|
Abstract:
|
||
|
|
|
||
|
|
This header collects together the various files neccessary to create a basic
|
||
|
|
set of definitions for the verifier.
|
||
|
|
|
||
|
|
Author:
|
||
|
|
|
||
|
|
Adrian J. Oney (AdriaO) Feb. 10, 2000.
|
||
|
|
|
||
|
|
Revision History:
|
||
|
|
|
||
|
|
|
||
|
|
--*/
|
||
|
|
|
||
|
|
//
|
||
|
|
// Disable W4 level warnings generated by public headers.
|
||
|
|
//
|
||
|
|
|
||
|
|
#include "vfpragma.h"
|
||
|
|
|
||
|
|
#include "ntos.h"
|
||
|
|
#include <ntverp.h>
|
||
|
|
#include "vfdebug.h"
|
||
|
|
#include "vfmacro.h"
|
||
|
|
#include "vfinit.h"
|
||
|
|
#include "vfsettings.h"
|
||
|
|
#include "vfmessage.h"
|
||
|
|
#include "vfbugcheck.h"
|
||
|
|
#include "vfprint.h"
|
||
|
|
#include "vfutil.h"
|
||
|
|
#include "vfstack.h"
|
||
|
|
#include "vfirp.h"
|
||
|
|
#include "vfirpdb.h"
|
||
|
|
#include "vfdevobj.h"
|
||
|
|
#include "vfpacket.h"
|
||
|
|
#include "halverifier.h"
|
||
|
|
#include "vfdeadlock.h"
|
||
|
|
|
||
|
|
#include "..\io\trackirp.h"
|
||
|
|
#include "..\io\sessnirp.h"
|
||
|
|
|
||
|
|
#include "..\ob\obvutil.h"
|
||
|
|
#include "..\io\iovutil.h"
|
||
|
|
#include "..\io\pnpmgr\ppvutil.h"
|
||
|
|
|
||
|
|
#include "vfdriver.h"
|
||
|
|
#include "vfmajor.h"
|
||
|
|
#include "vfpnp.h"
|
||
|
|
#include "vfpower.h"
|
||
|
|
#include "vfwmi.h"
|
||
|
|
#include "vfgeneric.h"
|
||
|
|
#include "vfrandom.h"
|
||
|
|
#include "vfddi.h"
|
||
|
|
|
||
|
|
//
|
||
|
|
// For the sake of good coding practice, no macros or defines should be
|
||
|
|
// declared in this file, but rather they should be defined in seperate headers.
|
||
|
|
//
|
||
|
|
|