LookupThread
Model::SchedulingState::LookupThread(thread_id threadID) const
inline ExtendedThreadSchedulingState* LookupThread(thread_id threadID) const