diff options
| -rw-r--r-- | arch/x86/kernel/alternative.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/x86/kernel/alternative.c b/arch/x86/kernel/alternative.c index c41f13c15e8f..e0b877099470 100644 --- a/arch/x86/kernel/alternative.c +++ b/arch/x86/kernel/alternative.c | |||
| @@ -595,8 +595,8 @@ static int __kprobes stop_machine_text_poke(void *data) | |||
| 595 | wrote_text = 1; | 595 | wrote_text = 1; |
| 596 | } else { | 596 | } else { |
| 597 | while (!wrote_text) | 597 | while (!wrote_text) |
| 598 | smp_rmb(); | 598 | cpu_relax(); |
| 599 | sync_core(); | 599 | smp_mb(); /* Load wrote_text before following execution */ |
| 600 | } | 600 | } |
| 601 | 601 | ||
| 602 | flush_icache_range((unsigned long)tpp->addr, | 602 | flush_icache_range((unsigned long)tpp->addr, |