/*

 * ntddk.h

 *

 * Windows Device Driver Kit

 *

 * This file is part of the w32api package.

 *

 * Contributors:

 *   Created by Casper S. Hornstrup <chorns@users.sourceforge.net>

 *

 * THIS SOFTWARE IS NOT COPYRIGHTED

 *

 * This source code is offered for use in the public domain. You may

 * use, modify or distribute it freely.

 *

 * This code is distributed in the hope that it will be useful but

 * WITHOUT ANY WARRANTY. ALL WARRANTIES, EXPRESS OR IMPLIED ARE HEREBY

 * DISCLAIMED. This includes but is not limited to warranties of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

 *

 * DEFINES:

 *    DBG             - Debugging enabled/disabled (0/1)

 *    POOL_TAGGING    - Enable pool tagging

 *    _X86_           - X86 environment

 *   __USE_NTOSKRNL__ - Use ntoskrnl.exe exports instead of kernel32.dll

 */

#ifndef __NTDDK_H

#define __NTDDK_H

#if __GNUC__ >= 3

#pragma GCC system_header

#endif

#ifndef __USE_NTOSKRNL__

#define __USE_NTOSKRNL__ 1

#endif

#ifdef __cplusplus

extern "C" {

#endif

#include <stdarg.h>

#include <windef.h>

#include <ntdef.h>

#include <basetyps.h>

/* Base types, structures and definitions */

typedef short CSHORT;

typedef CONST int CINT;

typedef CONST char *PCSZ;

#ifndef STATIC

#define STATIC static

#endif

#ifndef CALLBACK

#define CALLBACK

#endif

#ifndef DECL_IMPORT

#define DECL_IMPORT __declspec(dllimport)

#endif

#ifndef DECL_EXPORT

#define DECL_EXPORT __declspec(dllexport)

#endif

/* Windows NT status codes */

#include "ntstatus.h"

/* Windows NT definitions exported to user mode */

#include <winnt.h>

/* Windows Device Driver Kit */

#include "winddk.h"

/* Definitions only in Windows XP */

#include "winxp.h"

/* Definitions only in Windows 2000 */

#include "win2k.h"

/* Definitions only in Windows NT 4 */

#include "winnt4.h"

#ifdef __cplusplus

}

#endif

#endif /* __NTDDK_H */