Lines Matching defs:state
76 ck_barrier_mcs_subscribe(struct ck_barrier_mcs *barrier, struct ck_barrier_mcs_state *state)
79 state->sense = ~0;
80 state->vpid = ck_pr_faa_uint(&barrier->tid, 1);
113 struct ck_barrier_mcs_state *state)
120 while (ck_barrier_mcs_check_children(barrier[state->vpid].childnotready) == false)
124 ck_barrier_mcs_reinitialize_children(&barrier[state->vpid]);
127 ck_pr_store_uint(barrier[state->vpid].parent, 0);
130 if (state->vpid != 0) {
131 while (ck_pr_load_uint(&barrier[state->vpid].parentsense) != state->sense)
136 ck_pr_store_uint(barrier[state->vpid].children[0], state->sense);
137 ck_pr_store_uint(barrier[state->vpid].children[1], state->sense);
138 state->sense = ~state->sense;