Symbol: VMCS_VPID
sys/amd64/vmm/intel/vmcs.c
579
db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));
sys/amd64/vmm/intel/vmx.c
1181
error += vmwrite(VMCS_VPID, vpid);
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
1786
error = vm_get_vmcs_field(vcpu, VMCS_VPID, &vpid);