Searched refs:ctl_low (Results 1 – 1 of 1) sorted by relevance
421 u32 ctl_low = (u32)*pdata; in nested_evmcs_filter_control_msr() local456 ctl_low &= evmcs_get_supported_ctls(EVMCS_VMFUNC); in nested_evmcs_filter_control_msr()460 *pdata = ctl_low | ((u64)ctl_high << 32); in nested_evmcs_filter_control_msr()