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
40 /* Base types, structures and definitions */
43 typedef CCHAR
*PCCHAR
;
44 typedef CSHORT
*PCSHORT
;
45 typedef CLONG
*PCLONG
;
46 typedef CONST
int CINT
;
47 typedef CONST
char *PCSZ
;
58 #define DECL_IMPORT __declspec(dllimport)
62 #define DECL_EXPORT __declspec(dllexport)
65 /* Windows NT status codes */
68 /* Windows NT definitions exported to user mode */
71 /* Windows Device Driver Kit */
74 /* Definitions only in Windows XP */
77 /* Definitions only in Windows 2000 */
80 /* Definitions only in Windows NT 4 */
83 #endif /* __NTDDK_H */