ctx_resched      2577 kernel/events/core.c 	ctx_resched(cpuctx, task_ctx, EVENT_ALL|EVENT_CPU);
ctx_resched      2635 kernel/events/core.c 		ctx_resched(cpuctx, task_ctx, get_event_type(event));
ctx_resched      2784 kernel/events/core.c 	ctx_resched(cpuctx, task_ctx, get_event_type(event));
ctx_resched      3916 kernel/events/core.c 		ctx_resched(cpuctx, ctx, event_type);