ctx_event_type   2539 kernel/events/core.c 	enum event_type_t ctx_event_type;
ctx_event_type   2549 kernel/events/core.c 	ctx_event_type = event_type & EVENT_ALL;
ctx_event_type   2563 kernel/events/core.c 		cpu_ctx_sched_out(cpuctx, ctx_event_type);
ctx_event_type   2564 kernel/events/core.c 	else if (ctx_event_type & EVENT_PINNED)