__oprofile_hrtimer_stop   72 drivers/oprofile/timer_int.c 		__oprofile_hrtimer_stop(cpu);
__oprofile_hrtimer_stop   87 drivers/oprofile/timer_int.c 	__oprofile_hrtimer_stop(cpu);