TPR_THRESHOLD    2107 arch/x86/kvm/vmx.c 		vmcs_write32(TPR_THRESHOLD, 0);
TPR_THRESHOLD    2779 arch/x86/kvm/vmx.c 		vmcs_write32(TPR_THRESHOLD, 0);
TPR_THRESHOLD    2784 arch/x86/kvm/vmx.c 	vmcs_write32(TPR_THRESHOLD, (max_irr > tpr) ? tpr >> 4 : max_irr >> 4);