vmx_ept_vpid_cap 1171 arch/x86/kvm/vmx/nested.c 	u64 vmx_ept_vpid_cap;
vmx_ept_vpid_cap 1173 arch/x86/kvm/vmx/nested.c 	vmx_ept_vpid_cap = vmx_control_msr(vmx->nested.msrs.ept_caps,
vmx_ept_vpid_cap 1177 arch/x86/kvm/vmx/nested.c 	if (!is_bitwise_subset(vmx_ept_vpid_cap, data, -1ULL))