Searched refs:EVMCS_EXEC_CTRL (Results 1 – 1 of 1) sorted by relevance
468 EVMCS_EXEC_CTRL, enumerator483 [EVMCS_EXEC_CTRL] = {551 ctl_high &= evmcs_get_supported_ctls(EVMCS_EXEC_CTRL); in nested_evmcs_filter_control_msr()580 if (CC(!nested_evmcs_is_valid_controls(EVMCS_EXEC_CTRL, in nested_evmcs_check_controls()
