EVMCS_EXEC_CTRL
ctl_high &= evmcs_get_supported_ctls(EVMCS_EXEC_CTRL);
if (CC(!nested_evmcs_is_valid_controls(EVMCS_EXEC_CTRL,
[EVMCS_EXEC_CTRL] = {