Symbol: handle_sched_need_resched
kernel/trace/rv/monitors/nrp/nrp.c
64
static void handle_sched_need_resched(void *data, struct task_struct *tsk,
kernel/trace/rv/monitors/opid/opid.c
62
static void handle_sched_need_resched(void *data, struct task_struct *tsk, int cpu, int tif)