Searched refs:TPR_THRESHOLD (Results 1 – 3 of 3) sorted by relevance
255 TPR_THRESHOLD = 0x0000401c, enumerator
452 case TPR_THRESHOLD: in evmcs_vmread()839 case TPR_THRESHOLD: in evmcs_vmwrite()
246 vmwrite(TPR_THRESHOLD, 0); in init_vmcs_control_fields()