Searched defs:perm_idx (Results 1 – 2 of 2) sorted by relevance
423 int perm_idx; in follower() local452 int perm_idx; in leader() local
380 int perm_idx, thread_num; in worker() local