PROCBASED_USE_TPR_SHADOW
if ((vcpu->cap.proc_ctls & PROCBASED_USE_TPR_SHADOW) != 0) {
proc_ctls &= ~PROCBASED_USE_TPR_SHADOW;
MSR_VMX_TRUE_PROCBASED_CTLS, PROCBASED_USE_TPR_SHADOW, 0,
procbased_ctls |= PROCBASED_USE_TPR_SHADOW;
procbased_ctls |= PROCBASED_USE_TPR_SHADOW;
if (proc & PROCBASED_USE_TPR_SHADOW &&