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
31 #pragma GCC system_header
39 /* Base types, structures and definitions */
41 typedef CONST
int CINT
;
42 typedef CONST
char *PCSZ
;
53 #define DECL_IMPORT __declspec(dllimport)
57 #define DECL_EXPORT __declspec(dllexport)
60 /* Windows NT status codes */
63 /* Windows NT definitions exported to user mode */
66 /* Windows Device Driver Kit */
69 /* Definitions only in Windows XP */
72 /* Definitions only in Windows 2000 */
75 /* Definitions only in Windows NT 4 */
78 #endif /* __NTDDK_H */