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);