-#ifndef __INCLUDE_NTOSKRNL_H
-#define __INCLUDE_NTOSKRNL_H
+/*
+ * COPYRIGHT: See COPYING in the top level directory
+ * PROJECT: ReactOS Kernel
+ * FILE: ntoskrnl/include/ntoskrnl.h
+ * PURPOSE: Main Kernel Header
+ * PROGRAMMER: Alex Ionescu (alex@relsoft.net)
+ */
-#define __NO_CTYPE_INLINES
+/* INCLUDES ******************************************************************/
-/* include the ntoskrnl config.h file */
-#include "config.h"
+/* We are the Kernel */
+#define NTKERNELAPI
+#define _NTSYSTEM_
+
+/* DDK/IFS/NDK Headers */
+#include <ntifs.h>
+#include <ntddk.h>
+#include <wdmguid.h>
+#include <ndk/ntndk.h>
+
+/* FIXME: Temporary until CC Ros is gone */
+#include <ccros.h>
+
+/* Disk Dump Driver Header */
+#include <diskdump/diskdump.h>
+
+/* C Headers */
+#include <stdio.h>
+#include <ctype.h>
+#include <malloc.h>
+#include <wchar.h>
+
+/* SEH support with PSEH */
+#include <pseh/pseh.h>
-#include <roscfg.h>
+/* ReactOS Headers */
#include <reactos/version.h>
#include <reactos/resource.h>
#include <reactos/bugcodes.h>
-#include <limits.h>
-#include <stdarg.h>
-#include <stdlib.h>
-#include <string.h>
-#include <wchar.h>
-#include <roskrnl.h>
-#include <ntos/minmax.h>
-#include <ntos/synch.h>
-#include <ntos/keyboard.h>
-#include <ntos/ntdef.h>
-#include <ntos/ntpnp.h>
-#include <rosrtl/minmax.h>
-#include <rosrtl/string.h>
-#include <ddk/halfuncs.h>
-#include <ddk/kefuncs.h>
-#include <ddk/pnptypes.h>
-#include <ddk/pnpfuncs.h>
-#include <ddk/wdmguid.h>
-#include <ntdll/ldr.h>
-#include <internal/ctype.h>
-#include <internal/ntoskrnl.h>
-#include <internal/ke.h>
-#include <internal/i386/segment.h>
-#include <internal/i386/mm.h>
-#include <internal/i386/fpu.h>
-#include <internal/module.h>
-#include <internal/handle.h>
-#include <internal/pool.h>
-#include <internal/ps.h>
-#include <internal/mm.h>
-#include <internal/cc.h>
-#include <internal/io.h>
-#include <internal/po.h>
-#include <internal/ob.h>
-#include <internal/se.h>
-#include <internal/ldr.h>
-#include <internal/kd.h>
-#include <internal/ex.h>
-#include <internal/ob.h>
-#include "internal/xhal.h"
-#include <internal/v86m.h>
-#include <internal/ifs.h>
-#include <internal/port.h>
-#include <internal/nls.h>
-#ifdef KDBG
-#include <internal/kdb.h>
-#endif
-#include <internal/dbgk.h>
-#include <internal/trap.h>
-#include <internal/safe.h>
-#include <internal/test.h>
-#include <napi/core.h>
-#include <napi/dbg.h>
-#include <napi/teb.h>
-#include <napi/win32.h>
+#include <reactos/rossym.h>
+#define ExRaiseStatus RtlRaiseStatus
+#include <reactos/probe.h>
-#include <pseh.h>
+/* PNP GUIDs */
+#include <umpnpmgr/sysguid.h>
-#ifndef RTL_CONSTANT_STRING
-#define RTL_CONSTANT_STRING(__SOURCE_STRING__) \
-{ \
- sizeof(__SOURCE_STRING__) - sizeof((__SOURCE_STRING__)[0]), \
- sizeof(__SOURCE_STRING__), \
- (__SOURCE_STRING__) \
-}
-#endif
+/* Helper Header */
+#include <reactos/helper.h>
-#ifdef DBG
-#ifndef PAGED_CODE
-#define PAGED_CODE() \
- do { \
- if(KeGetCurrentIrql() > APC_LEVEL) { \
- DbgPrint("%s:%i: Pagable code called at IRQL > APC_LEVEL (%d)\n", \
- __FILE__, __LINE__, KeGetCurrentIrql()); \
- KEBUGCHECK(0); \
- } \
- } while(0)
-#endif
-#define PAGED_CODE_RTL PAGED_CODE
-#else
-#ifndef PAGED_CODE
-#define PAGED_CODE()
-#endif
-#define PAGED_CODE_RTL()
-#endif
-
-#endif /* INCLUDE_NTOSKRNL_H */
+/* Internal Headers */
+#include "internal/ntoskrnl.h"
+#include "config.h"