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

/freebsd-13-stable/sys/contrib/ck/src/
H A Dck_barrier_mcs.c80 state->vpid = ck_pr_faa_uint(&barrier->tid, 1);
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);
H A Dck_barrier_tournament.c55 state->vpid = ck_pr_faa_uint(&barrier->tid, 1);
119 switch (rounds[state->vpid][round].role) {
127 while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense)
130 ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense);
140 ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense);
141 while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense)
150 while (ck_pr_load_uint(&rounds[state->vpid][round].flag) != state->sense)
158 switch (rounds[state->vpid][round].role) {
175 ck_pr_store_uint(rounds[state->vpid][round].opponent, state->sense);
/freebsd-13-stable/sys/contrib/ck/include/
H A Dck_barrier.h131 unsigned int vpid; member in struct:ck_barrier_tournament_state
156 unsigned int vpid; member in struct:ck_barrier_mcs_state
/freebsd-13-stable/sys/amd64/vmm/intel/
H A Dvmx.h96 uint16_t vpid; member in struct:vmxstate
H A Dvmx_cpufunc.h176 uint16_t vpid; member in struct:invvpid_desc
H A Dvmx.c510 vpid_free(int vpid) argument
512 if (vpid < 0 || vpid > 0xffff)
513 panic("vpid_free: invalid vpid %d", vpid);
520 if (vpid > VM_MAXCPU)
521 free_unr(vpid_unr, vpid);
525 vpid_alloc(uint16_t *vpid, int num) argument
533 * If the "enable vpid" execution control is not enabled then the
538 vpid[
1022 uint16_t vpid[VM_MAXCPU]; local
[all...]
/freebsd-13-stable/usr.sbin/bhyvectl/
H A Dbhyvectl.c231 " [--get-vmcs-vpid]\n"
1489 { "get-vmcs-vpid", NO_ARG, &get_vpid_asid, 1 },
2211 uint64_t vpid; local
2213 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid);
2216 4, &vpid);
2219 cpu_intel ? "vpid" : "asid", vcpu, vpid);

Completed in 76 milliseconds