Searched refs:vpid (Results 1 - 7 of 7) sorted by relevance
/freebsd-13-stable/sys/contrib/ck/src/ |
H A D | ck_barrier_mcs.c | 80 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 D | ck_barrier_tournament.c | 55 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 D | ck_barrier.h | 131 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 D | vmx.h | 96 uint16_t vpid; member in struct:vmxstate
|
H A D | vmx_cpufunc.h | 176 uint16_t vpid; member in struct:invvpid_desc
|
H A D | vmx.c | 510 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 D | bhyvectl.c | 231 " [--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 77 milliseconds