68 module_param_named(vpid, enable_vpid, bool, 0444);
576 	int vpid;  member
925 	u32 vpid;  member
1102 	return vmx_capability.vpid & VMX_VPID_EXTENT_SINGLE_CONTEXT_BIT;  in cpu_has_vmx_invvpid_single()
1107 	return vmx_capability.vpid & VMX_VPID_EXTENT_GLOBAL_CONTEXT_BIT;  in cpu_has_vmx_invvpid_global()
1272 static inline void __invvpid(int ext, u16 vpid, gva_t gva)  in __invvpid()  argument
1275 	u64 vpid : 16;  in __invvpid()  member
1278     } operand = { vpid, 0, gva };  in __invvpid()
1414 static inline void vpid_sync_vcpu_single(int vpid)  in vpid_sync_vcpu_single()  argument
1416 	if (vpid == 0)  in vpid_sync_vcpu_single()
1420 		__invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0);  in vpid_sync_vcpu_single()
1429 static inline void vpid_sync_context(int vpid)  in vpid_sync_context()  argument
1432 		vpid_sync_vcpu_single(vpid);  in vpid_sync_context()
3205 		      vmx_capability.ept, vmx_capability.vpid);  in setup_vmcs_config()
3606 static inline void __vmx_flush_tlb(struct kvm_vcpu *vcpu, int vpid)  in __vmx_flush_tlb()  argument
3608 	vpid_sync_context(vpid);  in __vmx_flush_tlb()
3618 	__vmx_flush_tlb(vcpu, to_vmx(vcpu)->vpid);  in vmx_flush_tlb()
4319 	int vpid;  in allocate_vpid()  local
4324 	vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS);  in allocate_vpid()
4325 	if (vpid < VMX_NR_VPIDS)  in allocate_vpid()
4326 		__set_bit(vpid, vmx_vpid_bitmap);  in allocate_vpid()
4328 		vpid = 0;  in allocate_vpid()
4330 	return vpid;  in allocate_vpid()
4333 static void free_vpid(int vpid)  in free_vpid()  argument
4335 	if (!enable_vpid || vpid == 0)  in free_vpid()
4338 	__clear_bit(vpid, vmx_vpid_bitmap);  in free_vpid()
4722 	if (vmx->vpid == 0)  in vmx_secondary_exec_control()
4953 	if (vmx->vpid != 0)  in vmx_vcpu_reset()
4954 		vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);  in vmx_vcpu_reset()
4964 	vpid_sync_context(vmx->vpid);  in vmx_vcpu_reset()
7389 	int vpid;  in handle_invvpid()  local
7419 	if (kvm_read_guest_virt(&vcpu->arch.emulate_ctxt, gva, &vpid,  in handle_invvpid()
8746 	free_vpid(vmx->vpid);  in vmx_free_vcpu()
8765 	vmx->vpid = allocate_vpid();  in vmx_create_vcpu()
8844 	free_vpid(vmx->vpid);  in vmx_create_vcpu()
9737 			vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);  in prepare_vmcs02()