Home
last modified time | relevance | path

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

/freebsd-13.1/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-13.1/sys/contrib/ck/include/
H A Dck_barrier.h131 unsigned int vpid; member
156 unsigned int vpid; member
/freebsd-13.1/sys/amd64/vmm/intel/
H A Dvmx.c510 vpid_free(int vpid) in vpid_free() argument
512 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() local
1174 vmx->state[i].vpid = vpid[i]; in vmx_init()
1247 if (vmxstate->vpid == 0) in vmx_invvpid()
[all …]
H A Dvmx_cpufunc.h175 uint16_t vpid; member
H A Dvmx.h97 uint16_t vpid; member
/freebsd-13.1/usr.sbin/bhyvectl/
H A Dbhyvectl.c2213 uint64_t vpid; in main() local
2215 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid); in main()
2218 4, &vpid); in main()
2221 cpu_intel ? "vpid" : "asid", vcpu, vpid); in main()