mirror of https://github.com/tongzx/nt5src
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
34 lines
438 B
34 lines
438 B
/*++
|
|
|
|
Copyright (c) 2000 Microsoft Corporation
|
|
|
|
Module Name:
|
|
|
|
vfdebug.h
|
|
|
|
Abstract:
|
|
|
|
This header contains debugging macros used by the driver verifier code.
|
|
|
|
Author:
|
|
|
|
Adrian J. Oney (AdriaO) May 5, 2000.
|
|
|
|
Revision History:
|
|
|
|
|
|
--*/
|
|
|
|
extern ULONG VfSpewLevel;
|
|
|
|
#if DBG
|
|
#define VERIFIER_DBGPRINT(txt,level) \
|
|
{ \
|
|
if (VfSpewLevel>(level)) { \
|
|
DbgPrint##txt; \
|
|
}\
|
|
}
|
|
#else
|
|
#define VERIFIER_DBGPRINT(txt,level)
|
|
#endif
|
|
|