PROCBASED_USE_TPR_SHADOW
(vmx->cap[vcpu].proc_ctls & PROCBASED_USE_TPR_SHADOW) != 0;
proc_ctls &= ~PROCBASED_USE_TPR_SHADOW;
PROCBASED_USE_TPR_SHADOW, 0, &tmp) == 0) {
proc_ctls |= PROCBASED_USE_TPR_SHADOW;