Symbol: kern_sched_rr_get_interval_td