Searched refs:st_idx_ptr (Results 1 – 1 of 1) sorted by relevance
309 uint_fast32_t *const st_idx_ptr) in set_next_soft_thread() argument311 (*st_idx_ptr) = scan_idx; in set_next_soft_thread()500 (fcs_iters_int)next_item.quota, st_idx_ptr); in set_next_prelude_item()1698 uint_fast32_t *const st_idx_ptr) in switch_to_next_soft_thread() argument1702 set_next_prelude_item(hard_thread, prelude, st_idx_ptr); in switch_to_next_soft_thread()1707 ((1 + (*st_idx_ptr)) % num_soft_threads); in switch_to_next_soft_thread()1709 soft_threads[next_st_idx].checked_states_step, st_idx_ptr); in switch_to_next_soft_thread()1805 uint_fast32_t *const st_idx_ptr = &(HT_FIELD(hard_thread, st_idx)); in run_hard_thread() local1816 fcs_soft_thread *const soft_thread = &(soft_threads[*st_idx_ptr]); in run_hard_thread()1821 soft_threads, prelude, prelude_num_items, st_idx_ptr); in run_hard_thread()[all …]