nmi_timer_start_cpu   65 drivers/oprofile/nmi_timer_int.c 	nmi_timer_start_cpu(cpu);
nmi_timer_start_cpu   81 drivers/oprofile/nmi_timer_int.c 		nmi_timer_start_cpu(cpu);