The wrmsr that is used in x2apic ICR programming does not behave as a memory barrier. There is a hidden assumption that it is. Add an explicit memory barrier for this reason. Signed-off-by: Nadav Amit <nadav.amit@xxxxxxxxx> --- lib/x86/apic.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/x86/apic.c b/lib/x86/apic.c index bc2706e..1514730 100644 --- a/lib/x86/apic.c +++ b/lib/x86/apic.c @@ -2,6 +2,7 @@ #include "apic.h" #include "msr.h" #include "processor.h" +#include "asm/barrier.h" void *g_apic = (void *)0xfee00000; void *g_ioapic = (void *)0xfec00000; @@ -71,6 +72,7 @@ static void x2apic_write(unsigned reg, u32 val) static void x2apic_icr_write(u32 val, u32 dest) { + mb(); asm volatile ("wrmsr" : : "a"(val), "d"(dest), "c"(APIC_BASE_MSR + APIC_ICR/16)); } -- 2.17.1