Searched refs:EVMCS_PINCTRL (Results 1 – 1 of 1) sorted by relevance
58 EVMCS_PINCTRL, enumerator79 [EVMCS_PINCTRL] = {145 ctl_high &= evmcs_get_supported_ctls(EVMCS_PINCTRL); in nested_evmcs_filter_control_msr()163 if (CC(!nested_evmcs_is_valid_controls(EVMCS_PINCTRL, in nested_evmcs_check_controls()