CPU_BASED_ACTIVATE_SECONDARY_CONTROLS
CPU_BASED_ACTIVATE_SECONDARY_CONTROLS;
CPU_BASED_ACTIVATE_SECONDARY_CONTROLS)
CPU_BASED_ACTIVATE_SECONDARY_CONTROLS))
if (nested_cpu_has(vmcs12, CPU_BASED_ACTIVATE_SECONDARY_CONTROLS) &&
CPU_BASED_TPR_SHADOW | CPU_BASED_ACTIVATE_SECONDARY_CONTROLS;
CPU_BASED_ACTIVATE_SECONDARY_CONTROLS) &&
if (_cpu_based_exec_control & CPU_BASED_ACTIVATE_SECONDARY_CONTROLS) {
CPU_BASED_ACTIVATE_SECONDARY_CONTROLS | \
rdmsr(MSR_IA32_VMX_TRUE_PROCBASED_CTLS) | CPU_BASED_ACTIVATE_SECONDARY_CONTROLS);
if (!(ctrl & CPU_BASED_ACTIVATE_SECONDARY_CONTROLS))
control |= CPU_BASED_ACTIVATE_SECONDARY_CONTROLS;
GUEST_ASSERT(!(vmreadz(CPU_BASED_VM_EXEC_CONTROL) & CPU_BASED_ACTIVATE_SECONDARY_CONTROLS) ||