tracing_record_taskinfo_sched_switch
void tracing_record_taskinfo_sched_switch(struct task_struct *prev,
tracing_record_taskinfo_sched_switch(prev, next, flags);
tracing_record_taskinfo_sched_switch(current, wakee, flags);