Searched refs:ctl_high (Results 1 – 1 of 1) sorted by relevance
115 u32 ctl_high = (u32)(*pdata >> 32); in nested_evmcs_filter_control_msr() local128 ctl_high &= supported_ctrls; in nested_evmcs_filter_control_msr()135 ctl_high &= supported_ctrls; in nested_evmcs_filter_control_msr()139 ctl_high &= evmcs_get_supported_ctls(EVMCS_EXEC_CTRL); in nested_evmcs_filter_control_msr()142 ctl_high &= evmcs_get_supported_ctls(EVMCS_2NDEXEC); in nested_evmcs_filter_control_msr()146 ctl_high &= evmcs_get_supported_ctls(EVMCS_PINCTRL); in nested_evmcs_filter_control_msr()153 *pdata = ctl_low | ((u64)ctl_high << 32); in nested_evmcs_filter_control_msr()
Completed in 5 milliseconds