/*
 * 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 __attribute__((dllimport))
#endif

#ifndef DECL_EXPORT
#define DECL_EXPORT __attribute__((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 */