Searched refs:tpr_threshold (Results 1 – 1 of 1) sorted by relevance
328 u32 tpr_threshold; member764 FIELD(TPR_THRESHOLD, tpr_threshold),9856 vmcs_write32(TPR_THRESHOLD, vmcs12->tpr_threshold); in prepare_vmcs02()