diff --git a/arch/x86_64/include/arch.h b/arch/x86_64/include/arch.h index 09a8ac7da14..45ad2229601 100644 --- a/arch/x86_64/include/arch.h +++ b/arch/x86_64/include/arch.h @@ -41,6 +41,8 @@ /* Include architecture-specific definitions */ +#include + #ifdef CONFIG_ARCH_INTEL64 # include #endif diff --git a/arch/x86_64/include/barriers.h b/arch/x86_64/include/barriers.h index bf1248b9aa6..ec634564fc3 100644 --- a/arch/x86_64/include/barriers.h +++ b/arch/x86_64/include/barriers.h @@ -29,5 +29,6 @@ #define UP_DMB() __asm__ __volatile__ ("mfence" ::: "memory") #define UP_RMB() __asm__ __volatile__ ("lfence" ::: "memory") #define UP_WMB() __asm__ __volatile__ ("sfence" ::: "memory") +#define UP_WFE() __asm__ __volatile__ ("pause") #endif /* __ARCH_X86_64_INCLUDE_BARRIERS_H */