diff options
Diffstat (limited to 'arch/i386/oprofile')
-rw-r--r-- | arch/i386/oprofile/nmi_timer_int.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/i386/oprofile/nmi_timer_int.c b/arch/i386/oprofile/nmi_timer_int.c index b2e462abf337..c58d0c14f274 100644 --- a/arch/i386/oprofile/nmi_timer_int.c +++ b/arch/i386/oprofile/nmi_timer_int.c | |||
@@ -36,7 +36,7 @@ static void timer_stop(void) | |||
36 | { | 36 | { |
37 | enable_timer_nmi_watchdog(); | 37 | enable_timer_nmi_watchdog(); |
38 | unset_nmi_callback(); | 38 | unset_nmi_callback(); |
39 | synchronize_kernel(); | 39 | synchronize_sched(); /* Allow already-started NMIs to complete. */ |
40 | } | 40 | } |
41 | 41 | ||
42 | 42 | ||