nmi_timer_stop_cpu   70 drivers/oprofile/nmi_timer_int.c 	nmi_timer_stop_cpu(cpu);
nmi_timer_stop_cpu   93 drivers/oprofile/nmi_timer_int.c 		nmi_timer_stop_cpu(cpu);