Home
last modified time | relevance | path

Searched refs:vpid (Results 1 – 6 of 6) sorted by relevance

/freebsd/sys/contrib/ck/src/
H A Dck_barrier_mcs.c80 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()
H A Dck_barrier_tournament.c55 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()
/freebsd/sys/contrib/ck/include/
H A Dck_barrier.h131 unsigned int vpid; member
156 unsigned int vpid; member
/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c519 vpid_free(int vpid) in vpid_free() argument
521 if (vpid < 0 || vpid > 0xffff) in vpid_free()
522 panic("vpid_free: invalid vpid %d", vpid); in vpid_free()
529 if (vpid > vm_maxcpu) in vpid_free()
530 free_unr(vpid_unr, vpid); in vpid_free()
1138 uint16_t vpid; in vmx_vcpu_init() local
1141 vpid = vpid_alloc(vcpuid); in vmx_vcpu_init()
1181 error += vmwrite(VMCS_VPID, vpid); in vmx_vcpu_init()
1229 vcpu->state.vpid = vpid; in vmx_vcpu_init()
1295 if (vmxstate->vpid == 0) in vmx_invvpid()
[all …]
H A Dvmx_cpufunc.h173 uint16_t vpid; member
H A Dvmx.h99 uint16_t vpid; member