EVMCS_ENTRY_CTRLS
supported_ctrls = evmcs_get_supported_ctls(EVMCS_ENTRY_CTRLS);
if (CC(!nested_evmcs_is_valid_controls(EVMCS_ENTRY_CTRLS,
[EVMCS_ENTRY_CTRLS] = {