Searched refs:TPR_THRESHOLD (Results 1 – 3 of 3) sorted by relevance
210 TPR_THRESHOLD = 0x0000401c, enumerator
474 case TPR_THRESHOLD: in evmcs_vmread()937 case TPR_THRESHOLD: in evmcs_vmwrite()
234 vmwrite(TPR_THRESHOLD, 0); in init_vmcs_control_fields()