Searched refs:TPR_THRESHOLD (Results 1 – 4 of 4) sorted by relevance
208 TPR_THRESHOLD = 0x0000401c, enumerator
471 case TPR_THRESHOLD: in evmcs_vmread()934 case TPR_THRESHOLD: in evmcs_vmwrite()
243 vmwrite(TPR_THRESHOLD, 0); in init_vmcs_control_fields()
2402 vmcs_write32(TPR_THRESHOLD, vmcs12->tpr_threshold); in prepare_vmcs02_early()