Symbol: VMCS_TPR_THRESHOLD
usr/src/cmd/bhyvectl/bhyvectl.c
824
error = vm_get_vmcs_field(vcpu, VMCS_TPR_THRESHOLD,
usr/src/uts/intel/io/vmm/intel/vmx.c
3741
vmcs_write(VMCS_TPR_THRESHOLD, vlapic_get_cr8(vlapic));