synchronize_kernel(); 
synchronize_sched();  /* Allow already-started NMIs to complete. */ 
static void timer_stop(void){	enable_timer_nmi_watchdog();	unset_nmi_callback();	synchronize_kernel();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fbd568a3e61a7decb8a754ad952aaa5b5c82e9e5/nmi_timer_int.c/clean/arch/i386/oprofile/nmi_timer_int.c