perf_mux_hrtimer_restart 2410 kernel/events/core.c 		perf_mux_hrtimer_restart(cpuctx);
perf_mux_hrtimer_restart 2443 kernel/events/core.c 	perf_mux_hrtimer_restart(cpuctx);
perf_mux_hrtimer_restart 9981 kernel/events/core.c 			(remote_function_f)perf_mux_hrtimer_restart, cpuctx);