79 module_param_named(vpid, enable_vpid, bool, 0444);
458 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva)  in invvpid_error()  argument
461 			ext, vpid, gva);  in invvpid_error()
2552 		&vmx_cap->ept, &vmx_cap->vpid);  in setup_vmcs_config()
2566 		vmx_cap->vpid) {  in setup_vmcs_config()
2567 		vmx_cap->vpid = 0;  in setup_vmcs_config()
2991 			vpid_sync_vcpu_single(vmx->vpid);  in vmx_flush_tlb_all()
3001 	return to_vmx(vcpu)->vpid;  in vmx_get_current_vpid()
3748 	int vpid;  in allocate_vpid()  local
3753 	vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS);  in allocate_vpid()
3754 	if (vpid < VMX_NR_VPIDS)  in allocate_vpid()
3755 		__set_bit(vpid, vmx_vpid_bitmap);  in allocate_vpid()
3757 		vpid = 0;  in allocate_vpid()
3759 	return vpid;  in allocate_vpid()
3762 void free_vpid(int vpid)  in free_vpid()  argument
3764 	if (!enable_vpid || vpid == 0)  in free_vpid()
3767 	__clear_bit(vpid, vmx_vpid_bitmap);  in free_vpid()
4337 	if (vmx->vpid == 0)  in vmx_compute_secondary_exec_control()
4487 	if (vmx->vpid != 0)  in init_vmcs()
4488 		vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);  in init_vmcs()
4599 	vpid_sync_context(vmx->vpid);  in vmx_vcpu_reset()
6992 	free_vpid(vmx->vpid);  in vmx_free_vcpu()
7007 	vmx->vpid = allocate_vpid();  in vmx_create_vcpu()
7141 	free_vpid(vmx->vpid);  in vmx_create_vcpu()