Fix for x86 build.

svn path=/trunk/; revision=32315

reactos/ntoskrnl/include/internal/arm/intrin_i.h

@@ -41,5 +41,4 @@ KeArmDomainRegisterSet(IN ARM_DOMAIN_REGISTER DomainRegister)
     __asm__ __volatile__ ("mcr p15, 0, %0, c3, c0, 0" : : "r"(DomainRegister.AsUlong) : "cc");
 }
 
-#define KeArchHaltProcessor KeArmHaltProcessor
 #endif

reactos/ntoskrnl/include/internal/arm/ke.h

@@ -5,6 +5,8 @@
 #pragma GCC system_header
 #endif
 
+#define KeArchHaltProcessor() KeArmHaltProcessor()
+
 typedef union _ARM_TTB_REGISTER
 {
     struct

reactos/ntoskrnl/include/internal/i386/intrin_i.h

@@ -410,9 +410,6 @@ Ke386SetEs(IN USHORT Value)
 #error Unknown compiler for inline assembler
 #endif
 
-#define KeArchFnInit() Ke386FnInit()
-#define KeArchHaltProcessor() Ke386HaltProcessor()
-
 #endif
 
 /* EOF */

reactos/ntoskrnl/include/internal/i386/ke.h

@@ -45,6 +45,9 @@
 
 #ifndef __ASM__
 
+#define KeArchFnInit() Ke386FnInit()
+#define KeArchHaltProcessor() Ke386HaltProcessor()
+
 extern ULONG Ke386CacheAlignment;
 
 struct _KPCR;