Symbol: ksched_rr_get_interval
sys/kern/kern_p1003_1b.c
346
e = ksched_rr_get_interval(&sysmsg->sysmsg_reg, ksched,
sys/sys/posix4.h
100
int ksched_rr_get_interval(register_t *, struct ksched *,