Symbol: VMCS_TPR_THRESHOLD
sys/amd64/vmm/intel/vmx.c
3147
vmcs_write(VMCS_TPR_THRESHOLD, vlapic_get_cr8(vlapic));
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
906
error = vm_get_vmcs_field(vcpu, VMCS_TPR_THRESHOLD,