Symbol: ksched_yield
sys/kern/kern_p1003_1b.c
309
return ksched_yield(&sysmsg->sysmsg_reg, ksched);
sys/sys/posix4.h
95
int ksched_yield(register_t *, struct ksched *);