SECONDARY_EXEC_DESC
(vmcs_config.cpu_based_2nd_exec_ctrl & SECONDARY_EXEC_DESC);
SECONDARY_EXEC_DESC | \
SECONDARY_EXEC_DESC);
exec_control |= SECONDARY_EXEC_DESC;
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_DESC);
SECONDARY_EXEC_DESC |
secondary_exec_controls_setbit(vmx, SECONDARY_EXEC_DESC);
!nested_cpu_has2(get_vmcs12(vcpu), SECONDARY_EXEC_DESC)) {
secondary_exec_controls_clearbit(vmx, SECONDARY_EXEC_DESC);
exec_control &= ~SECONDARY_EXEC_DESC;
SECONDARY_EXEC_DESC;
if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_DESC))
SECONDARY_EXEC_DESC | \