sched_switch_user  107 kernel/user.c  static void sched_switch_user(struct task_struct *p)
sched_switch_user  116 kernel/user.c  static void sched_switch_user(struct task_struct *p) { }