| 164 | } |
| 165 | |
| 166 | inline uint32_t get_version(bthread_id_t id) { |
| 167 | return (uint32_t)(id.value & 0xFFFFFFFFul); |
| 168 | } |
| 169 | |
| 170 | inline bool id_exists_with_true_negatives(bthread_id_t id) { |
| 171 | Id* const meta = address_resource(get_slot(id)); |
no outgoing calls
no test coverage detected