79 module_param_named(vpid, enable_vpid, bool, 0444);
459 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva)  in invvpid_error()  argument
462 			ext, vpid, gva);  in invvpid_error()
2546 		&vmx_cap->ept, &vmx_cap->vpid);  in setup_vmcs_config()
2560 		vmx_cap->vpid) {  in setup_vmcs_config()
2561 		vmx_cap->vpid = 0;  in setup_vmcs_config()
2994 			vpid_sync_vcpu_single(vmx->vpid);  in vmx_flush_tlb_all()
3004 	return to_vmx(vcpu)->vpid;  in vmx_get_current_vpid()
3735 	int vpid;  in allocate_vpid()  local
3740 	vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS);  in allocate_vpid()
3741 	if (vpid < VMX_NR_VPIDS)  in allocate_vpid()
3742 		__set_bit(vpid, vmx_vpid_bitmap);  in allocate_vpid()
3744 		vpid = 0;  in allocate_vpid()
3746 	return vpid;  in allocate_vpid()
3749 void free_vpid(int vpid)  in free_vpid()  argument
3751 	if (!enable_vpid || vpid == 0)  in free_vpid()
3754 	__clear_bit(vpid, vmx_vpid_bitmap);  in free_vpid()
4310 	if (vmx->vpid == 0)  in vmx_compute_secondary_exec_control()
4460 	if (vmx->vpid != 0)  in init_vmcs()
4461 		vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);  in init_vmcs()
4572 	vpid_sync_context(vmx->vpid);  in vmx_vcpu_reset()
6964 	free_vpid(vmx->vpid);  in vmx_free_vcpu()
6979 	vmx->vpid = allocate_vpid();  in vmx_create_vcpu()
7100 	free_vpid(vmx->vpid);  in vmx_create_vcpu()