Searched refs:vpid (Results 1 – 7 of 7) sorted by relevance
| /freebsd-12-stable/sys/contrib/ck/src/ |
| D | ck_barrier_mcs.c | 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()
|
| D | ck_barrier_tournament.c | 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()
|
| /freebsd-12-stable/sys/contrib/ck/include/ |
| D | ck_barrier.h | 131 unsigned int vpid; member
156 unsigned int vpid; member
|
| /freebsd-12-stable/sys/amd64/vmm/intel/ |
| D | vmx.c | 502 vpid_free(int vpid) in vpid_free() argument
504 if (vpid < 0 || vpid > 0xffff) in vpid_free()
505 panic("vpid_free: invalid vpid %d", vpid); in vpid_free()
512 if (vpid > VM_MAXCPU) in vpid_free()
513 free_unr(vpid_unr, vpid); in vpid_free()
517 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc() argument
530 vpid[i] = 0; in vpid_alloc()
542 vpid[i] = x; in vpid_alloc()
560 vpid_free(vpid[i]); in vpid_alloc()
563 vpid[i] = i + 1; in vpid_alloc()
[all …]
|
| D | vmx_cpufunc.h | 176 uint16_t vpid; member
|
| D | vmx.h | 96 uint16_t vpid; member
|
| /freebsd-12-stable/usr.sbin/bhyvectl/ |
| D | bhyvectl.c | 2102 uint64_t vpid; in main() local
2104 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid); in main()
2107 4, &vpid); in main()
2110 cpu_intel ? "vpid" : "asid", vcpu, vpid); in main()
|