_kern_estimate_max_scheduling_latency
extern bigtime_t _kern_estimate_max_scheduling_latency(thread_id thread);
return _kern_estimate_max_scheduling_latency(thread);