Symbol: psi_task_switch
kernel/sched/stats.h
111
void psi_task_switch(struct task_struct *prev, struct task_struct *next,
kernel/sched/stats.h
225
psi_task_switch(prev, next, sleep);