Searched refs:TPR_THRESHOLD (Results 1 – 2 of 2) sorted by relevance
161 TPR_THRESHOLD = 0x0000401c, enumerator
2842 vmcs_write32(TPR_THRESHOLD, 0); in vmx_vcpu_reset()3861 vmcs_write32(TPR_THRESHOLD, 0); in update_cr8_intercept()3865 vmcs_write32(TPR_THRESHOLD, irr); in update_cr8_intercept()