reactos/include/ddk/ntddk.h

   1 /*
   2  * ntddk.h
   3  *
   4  * Windows Device Driver Kit
   5  *
   6  * This file is part of the w32api package.
   7  *
   8  * Contributors:
   9  *   Created by Casper S. Hornstrup <chorns@users.sourceforge.net>
  10  *
  11  * THIS SOFTWARE IS NOT COPYRIGHTED
  12  *
  13  * This source code is offered for use in the public domain. You may
  14  * use, modify or distribute it freely.
  15  *
  16  * This code is distributed in the hope that it will be useful but
  17  * WITHOUT ANY WARRANTY. ALL WARRANTIES, EXPRESS OR IMPLIED ARE HEREBY
  18  * DISCLAIMED. This includes but is not limited to warranties of
  19  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  20  *
  21  * DEFINES:
  22  *    DBG          - Debugging enabled/disabled (0/1)
  23  *    POOL_TAGGING - Enable pool tagging
  24  *    _X86_        - X86 environment
  25  */
  26
  27 #ifndef _NTDDK_
  28 #define _NTDDK_
  29
  30 //
  31 // Dependencies
  32 //
  33 #define NT_INCLUDED
  34 #include <wdm.h>
  35 #include <excpt.h>
  36 #include <ntdef.h>
  37 #include <ntstatus.h>
  38
  39 #include <stdarg.h> // FIXME
  40 #include <basetyps.h> // FIXME
  41
  42
  43
  44 //
  45 // GUID and UUID
  46 //
  47 #ifndef GUID_DEFINED
  48 #include <guiddef.h>
  49 #endif
  50 typedef GUID UUID;
  51
  52
  53 /* Windows Device Driver Kit */
  54 #include "winddk.h"
  55
  56
  57 #endif /* _NTDDK_ */