evmcs_get_supported_ctls
supported_ctrls = evmcs_get_supported_ctls(EVMCS_EXIT_CTRLS);
supported_ctrls = evmcs_get_supported_ctls(EVMCS_ENTRY_CTRLS);
ctl_high &= evmcs_get_supported_ctls(EVMCS_EXEC_CTRL);
ctl_high &= evmcs_get_supported_ctls(EVMCS_2NDEXEC);
ctl_high &= evmcs_get_supported_ctls(EVMCS_PINCTRL);
ctl_low &= evmcs_get_supported_ctls(EVMCS_VMFUNC);
return !(val & ~evmcs_get_supported_ctls(ctrl_type));