EVMCS_VMFUNC
ctl_low &= evmcs_get_supported_ctls(EVMCS_VMFUNC);
if (CC(!nested_evmcs_is_valid_controls(EVMCS_VMFUNC,
[EVMCS_VMFUNC] = {