Leaked source code of windows server 2003
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
472 B

  1. /*++
  2. Copyright (c) 2000 Microsoft Corporation
  3. Module Name:
  4. vfdebug.h
  5. Abstract:
  6. This header contains debugging macros used by the driver verifier code.
  7. Author:
  8. Adrian J. Oney (AdriaO) May 5, 2000.
  9. Revision History:
  10. --*/
  11. extern ULONG VfSpewLevel;
  12. #if DBG
  13. #define VERIFIER_DBGPRINT(txt,level) \
  14. { \
  15. if (VfSpewLevel>(level)) { \
  16. DbgPrint##txt; \
  17. }\
  18. }
  19. #else
  20. #define VERIFIER_DBGPRINT(txt,level)
  21. #endif