SECONDARY_EXEC_ENABLE_PML
return vmcs_config.cpu_based_2nd_exec_ctrl & SECONDARY_EXEC_ENABLE_PML;
exec_control &= ~SECONDARY_EXEC_ENABLE_PML;
SECONDARY_EXEC_ENABLE_PML;
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_PML);
exec_control &= ~SECONDARY_EXEC_ENABLE_PML;
secondary_exec_controls_setbit(vmx, SECONDARY_EXEC_ENABLE_PML);
secondary_exec_controls_clearbit(vmx, SECONDARY_EXEC_ENABLE_PML);
SECONDARY_EXEC_ENABLE_PML | \