ctx_event_to_rotate 3828 kernel/events/core.c 		task_event = ctx_event_to_rotate(task_ctx);
ctx_event_to_rotate 3830 kernel/events/core.c 		cpu_event = ctx_event_to_rotate(&cpuctx->ctx);