Searched refs:ctid_index (Results 1 – 1 of 1) sorted by relevance
4236 uint32_t ctid_index = os_atomic_inc_orig(&stackshot_exclave_inspect_ctid_count, acq_rel); in kcdata_record_thread_snapshot() local4237 if (ctid_index < stackshot_exclave_inspect_ctid_capacity) { in kcdata_record_thread_snapshot()4238 stackshot_exclave_inspect_ctids[ctid_index] = thread_get_ctid(thread); in kcdata_record_thread_snapshot()