TPR_THRESHOLD
EVMCS1_FIELD(TPR_THRESHOLD, tpr_threshold,
vmcs_write32(TPR_THRESHOLD, vmcs12->tpr_threshold);
case TPR_THRESHOLD:
FIELD(TPR_THRESHOLD, tpr_threshold),
SHADOW_FIELD_RW(TPR_THRESHOLD, tpr_threshold)
vmcs_write32(TPR_THRESHOLD, 0);
pr_cont("TPR Threshold = 0x%02x\n", vmcs_read32(TPR_THRESHOLD));
vmcs_write32(TPR_THRESHOLD, tpr_threshold);
case TPR_THRESHOLD:
case TPR_THRESHOLD:
vmwrite(TPR_THRESHOLD, 0);