4 * Windows Device Driver Kit
6 * This file is part of the w32api package.
9 * Created by Casper S. Hornstrup <chorns@users.sourceforge.net>
11 * THIS SOFTWARE IS NOT COPYRIGHTED
13 * This source code is offered for use in the public domain. You may
14 * use, modify or distribute it freely.
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.
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
32 #pragma GCC system_header
35 #ifndef __USE_NTOSKRNL__
36 #define __USE_NTOSKRNL__ 1
48 /* Base types, structures and definitions */
50 typedef CONST
int CINT
;
51 typedef CONST
char *PCSZ
;
62 #define DECL_IMPORT __declspec(dllimport)
66 #define DECL_EXPORT __declspec(dllexport)
69 /* Windows NT status codes */
72 /* Windows NT definitions exported to user mode */
75 /* Windows Device Driver Kit */
78 /* Definitions only in Windows XP */
81 /* Definitions only in Windows 2000 */
84 /* Definitions only in Windows NT 4 */
91 #endif /* __NTDDK_H */