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