Lines Matching defs:vpid
93 module_param_named(vpid, enable_vpid, bool, 0444);
460 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva)
462 vmx_insn_failed("invvpid failed: ext=0x%lx vpid=%u gva=0x%lx\n",
463 ext, vpid, gva);
2619 &vmx_cap->ept, &vmx_cap->vpid);
2633 vmx_cap->vpid) {
2640 vmx_cap->vpid = 0;
3178 vpid_sync_vcpu_single(vmx->vpid);
3188 return to_vmx(vcpu)->vpid;
3210 * vpid_sync_vcpu_addr() is a nop if vpid==0, see the comment in
3219 * vpid_sync_context() is a nop if vpid==0, e.g. if enable_vpid==0 or a
3220 * vpid couldn't be allocated for this vCPU. VM-Enter and VM-Exit are
3221 * required to flush GVA->{G,H}PA mappings from the TLB if vpid is
3222 * disabled (VM-Enter with vpid enabled and vpid==0 is disallowed),
3929 int vpid;
3934 vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS);
3935 if (vpid < VMX_NR_VPIDS)
3936 __set_bit(vpid, vmx_vpid_bitmap);
3938 vpid = 0;
3940 return vpid;
3943 void free_vpid(int vpid)
3945 if (!enable_vpid || vpid == 0)
3948 __clear_bit(vpid, vmx_vpid_bitmap);
4503 if (vmx->vpid == 0)
4699 if (vmx->vpid != 0)
4700 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);
4822 vpid_sync_context(vmx->vpid);
7414 free_vpid(vmx->vpid);
7433 vmx->vpid = allocate_vpid();
7516 free_vpid(vmx->vpid);