__oprofile_hrtimer_start   51 drivers/oprofile/timer_int.c 	on_each_cpu(__oprofile_hrtimer_start, NULL, 1);
__oprofile_hrtimer_start   80 drivers/oprofile/timer_int.c 	__oprofile_hrtimer_start(NULL);