Searched refs:ctl_high (Results 1 – 1 of 1) sorted by relevance
347 u32 ctl_high = (u32)(*pdata >> 32); in nested_evmcs_filter_control_msr() local356 ctl_high &= ~EVMCS1_UNSUPPORTED_VMEXIT_CTRL; in nested_evmcs_filter_control_msr()360 ctl_high &= ~EVMCS1_UNSUPPORTED_VMENTRY_CTRL; in nested_evmcs_filter_control_msr()363 ctl_high &= ~EVMCS1_UNSUPPORTED_2NDEXEC; in nested_evmcs_filter_control_msr()366 ctl_high &= ~EVMCS1_UNSUPPORTED_PINCTRL; in nested_evmcs_filter_control_msr()373 *pdata = ctl_low | ((u64)ctl_high << 32); in nested_evmcs_filter_control_msr()
