#include <stdio.h>
/* WDK HAL Compilation hack */
-#ifdef _MSC_VER
#include <excpt.h>
#include <ntdef.h>
-#undef _NTHAL_
-#undef DECLSPEC_IMPORT
-#define DECLSPEC_IMPORT
-#define __declspec(dllimport)
+#ifndef _MINIHAL_
+#undef NTSYSAPI
+#define NTSYSAPI __declspec(dllimport)
+#else
+#undef NTSYSAPI
+#define NTSYSAPI
#endif
/* IFS/DDK/NDK Headers */
#include <bugcodes.h>
#include <ntdddisk.h>
#include <arc/arc.h>
-#include <iotypes.h>
-#include <kefuncs.h>
-#include <intrin.h>
-#include <halfuncs.h>
-#include <iofuncs.h>
-#include <ldrtypes.h>
-#include <obfuncs.h>
+#include <ntndk.h>
/* Internal kernel headers */
#include "internal/pci.h"
+#define KeGetCurrentThread _KeGetCurrentThread
+#ifdef _M_AMD64
+#include <internal/amd64/ke.h>
+#include <internal/amd64/mm.h>
+#include "internal/amd64/intrin_i.h"
+#else
+#include <internal/i386/ke.h>
+#include <internal/i386/mm.h>
#include "internal/i386/intrin_i.h"
+#endif
/* Internal HAL Headers */
#include "apic.h"
#include "halp.h"
#include "mps.h"
#include "ioapic.h"
-
-/* Helper Header */
-#include <reactos/helper.h>
+#include "halacpi.h"
/* EOF */