X-Git-Url: https://git.reactos.org/?p=reactos.git;a=blobdiff_plain;f=hal%2Fhalx86%2Finclude%2Fhal.h;h=0c3654f5ff856ff4289e9e34ee78ec55ed016e47;hp=97e8f4a810e000a613a0d1f06d850812439f2c57;hb=6bc4e97d08e98b103d59c709c371c73c469c1fad;hpb=da9ba659457531913af2c73d7faeced83ffbd667

diff --git a/hal/halx86/include/hal.h b/hal/halx86/include/hal.h
index 97e8f4a810e..0c3654f5ff8 100644
--- a/hal/halx86/include/hal.h
+++ b/hal/halx86/include/hal.h
@@ -32,11 +32,13 @@
 /* Internal kernel headers */
 #include "internal/pci.h"
 #define KeGetCurrentThread _KeGetCurrentThread
-#include <internal/i386/ke.h>
-#include <internal/i386/mm.h>
 #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