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