vpid_caps          40 arch/x86/kvm/vmx/capabilities.h 	u32 vpid_caps;
vpid_caps        1174 arch/x86/kvm/vmx/nested.c 					   vmx->nested.msrs.vpid_caps);
vpid_caps        1181 arch/x86/kvm/vmx/nested.c 	vmx->nested.msrs.vpid_caps = data >> 32;
vpid_caps        1346 arch/x86/kvm/vmx/nested.c 			((u64)msrs->vpid_caps << 32);
vpid_caps        4973 arch/x86/kvm/vmx/nested.c 			!(vmx->nested.msrs.vpid_caps & VMX_VPID_INVVPID_BIT)) {
vpid_caps        4984 arch/x86/kvm/vmx/nested.c 	types = (vmx->nested.msrs.vpid_caps &
vpid_caps        5966 arch/x86/kvm/vmx/nested.c 		msrs->vpid_caps = VMX_VPID_INVVPID_BIT |