Searched refs:vpid (Results 1 – 6 of 6) sorted by relevance
80 state->vpid = ck_pr_faa_uint(&barrier->tid, 1); in ck_barrier_mcs_subscribe()120 while (ck_barrier_mcs_check_children(barrier[state->vpid].childnotready) == false) in ck_barrier_mcs()124 ck_barrier_mcs_reinitialize_children(&barrier[state->vpid]); in ck_barrier_mcs()127 ck_pr_store_uint(barrier[state->vpid].parent, 0); in ck_barrier_mcs()130 if (state->vpid != 0) { in ck_barrier_mcs()131 while (ck_pr_load_uint(&barrier[state->vpid].parentsense) != state->sense) in ck_barrier_mcs()136 ck_pr_store_uint(barrier[state->vpid].children[0], state->sense); in ck_barrier_mcs()137 ck_pr_store_uint(barrier[state->vpid].children[1], state->sense); in ck_barrier_mcs()
55 state->vpid = ck_pr_faa_uint(&barrier->tid, 1); in ck_barrier_tournament_subscribe()119 switch (rounds[state->vpid][round].role) { in ck_barrier_tournament()127 while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense) in ck_barrier_tournament()130 ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense); in ck_barrier_tournament()140 ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense); in ck_barrier_tournament()141 while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense) in ck_barrier_tournament()150 while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense) in ck_barrier_tournament()158 switch (rounds[state->vpid][round].role) { in ck_barrier_tournament()175 ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense); in ck_barrier_tournament()
131 unsigned int vpid; member156 unsigned int vpid; member
510 vpid_free(int vpid) in vpid_free() argument512 if (vpid < 0 || vpid > 0xffff) in vpid_free()520 if (vpid > VM_MAXCPU) in vpid_free()538 vpid[i] = 0; in vpid_alloc()550 vpid[i] = x; in vpid_alloc()568 vpid_free(vpid[i]); in vpid_alloc()571 vpid[i] = i + 1; in vpid_alloc()1022 uint16_t vpid[VM_MAXCPU]; in vmx_init() local1174 vmx->state[i].vpid = vpid[i]; in vmx_init()1247 if (vmxstate->vpid == 0) in vmx_invvpid()[all …]
176 uint16_t vpid; member
96 uint16_t vpid; member