Searched refs:EVMCS_EXEC_CTRL (Results 1 – 1 of 1) sorted by relevance
363 EVMCS_EXEC_CTRL, enumerator378 [EVMCS_EXEC_CTRL] = {446 ctl_high &= evmcs_get_supported_ctls(EVMCS_EXEC_CTRL); in nested_evmcs_filter_control_msr()475 if (CC(!nested_evmcs_is_valid_controls(EVMCS_EXEC_CTRL, in nested_evmcs_check_controls()