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