estimate_max_scheduling_latency
estimate_max_scheduling_latency(thread_id thread)
void estimate_max_scheduling_latency() {}