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