Searched refs:os_id_ (Results 1 – 1 of 1) sorted by relevance
72 tid_t os_id() const { return os_id_; } in os_id()73 void set_os_id(tid_t os_id) { os_id_ = os_id; } in set_os_id()99 tid_t os_id_; variable