diff options
-rw-r--r-- | arch/x86/kernel/smpboot.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/arch/x86/kernel/smpboot.c b/arch/x86/kernel/smpboot.c index 07bf4233441d..55c80ffb8719 100644 --- a/arch/x86/kernel/smpboot.c +++ b/arch/x86/kernel/smpboot.c | |||
@@ -1422,9 +1422,9 @@ static inline void mwait_play_dead(void) | |||
1422 | (highest_subcstate - 1); | 1422 | (highest_subcstate - 1); |
1423 | } | 1423 | } |
1424 | 1424 | ||
1425 | wbinvd(); | ||
1426 | |||
1425 | while (1) { | 1427 | while (1) { |
1426 | mb(); | ||
1427 | wbinvd(); | ||
1428 | __monitor(¤t_thread_info()->flags, 0, 0); | 1428 | __monitor(¤t_thread_info()->flags, 0, 0); |
1429 | mb(); | 1429 | mb(); |
1430 | __mwait(eax, 0); | 1430 | __mwait(eax, 0); |
@@ -1433,11 +1433,10 @@ static inline void mwait_play_dead(void) | |||
1433 | 1433 | ||
1434 | static inline void hlt_play_dead(void) | 1434 | static inline void hlt_play_dead(void) |
1435 | { | 1435 | { |
1436 | if (current_cpu_data.x86 >= 4) | ||
1437 | wbinvd(); | ||
1438 | |||
1436 | while (1) { | 1439 | while (1) { |
1437 | mb(); | ||
1438 | if (current_cpu_data.x86 >= 4) | ||
1439 | wbinvd(); | ||
1440 | mb(); | ||
1441 | native_halt(); | 1440 | native_halt(); |
1442 | } | 1441 | } |
1443 | } | 1442 | } |