Symbol: ksched_getscheduler
sys/kern/p1003_1b.c
286
error = ksched_getscheduler(ksched, targettd, policy);
sys/sys/posix4.h
100
int ksched_getscheduler(struct ksched *, struct thread *, int *);