__pmu_ctx_sched_out
__pmu_ctx_sched_out(pmu_ctx, is_active);
__pmu_ctx_sched_out(task_epc, EVENT_FLEXIBLE);
__pmu_ctx_sched_out(cpu_epc, EVENT_FLEXIBLE);