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  *   __USE_NTOSKRNL__ - Use ntoskrnl.exe exports instead of kernel32.dll

    26  */

    27 

    28 #ifndef __NTDDK_H

    29 #define __NTDDK_H

    30 

    31 #if __GNUC__ >= 3

    32 #pragma GCC system_header

    33 #endif

    34 

    35 #ifndef __USE_NTOSKRNL__

    36 #define __USE_NTOSKRNL__ 1

    37 #endif

    38 

    39 #ifdef __cplusplus

    40 extern "C" {

    41 #endif

    42 

    43 #include <stdarg.h>

    44 #include <windef.h>

    45 #include <ntdef.h>

    46 #include <basetyps.h>

    47 

    48 /* Base types, structures and definitions */

    49 typedef short CSHORT;

    50 typedef CONST int CINT;

    51 typedef CONST char *PCSZ;

    52 

    53 #ifndef STATIC

    54 #define STATIC static

    55 #endif

    56 

    57 #ifndef CALLBACK

    58 #define CALLBACK

    59 #endif

    60 

    61 #ifndef DECL_IMPORT

    62 #define DECL_IMPORT __declspec(dllimport)

    63 #endif

    64 

    65 #ifndef DECL_EXPORT

    66 #define DECL_EXPORT __declspec(dllexport)

    67 #endif

    68 

    69 /* Windows NT status codes */

    70 #include "ntstatus.h"

    71 

    72 /* Windows NT definitions exported to user mode */

    73 #include <winnt.h>

    74 

    75 /* Windows Device Driver Kit */

    76 #include "winddk.h"

    77 

    78 /* Definitions only in Windows XP */

    79 #include "winxp.h"

    80 

    81 /* Definitions only in Windows 2000 */

    82 #include "win2k.h"

    83 

    84 /* Definitions only in Windows NT 4 */

    85 #include "winnt4.h"

    86 

    87 #ifdef __cplusplus

    88 }

    89 #endif

    90 

    91 #endif /* __NTDDK_H */