Searched refs:vmx_ept_vpid_cap (Results 1 – 1 of 1) sorted by relevance
3856 u64 vmx_ept_vpid_cap; in vmx_restore_vmx_ept_vpid_cap() local3858 vmx_ept_vpid_cap = vmx_control_msr(vmx->nested.msrs.ept_caps, in vmx_restore_vmx_ept_vpid_cap()3862 if (!is_bitwise_subset(vmx_ept_vpid_cap, data, -1ULL)) in vmx_restore_vmx_ept_vpid_cap()