Symbol: sched_core_put
kernel/sched/core_sched.c
31
sched_core_put();
kernel/sched/sched.h
1538
extern void sched_core_put(void);