Lines Matching refs:vpid
81 module_param_named(vpid, enable_vpid, bool, 0444);
400 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva) in invvpid_error() argument
403 ext, vpid, gva); in invvpid_error()
2474 &vmx_cap->ept, &vmx_cap->vpid); in setup_vmcs_config()
2488 vmx_cap->vpid) { in setup_vmcs_config()
2489 vmx_cap->vpid = 0; in setup_vmcs_config()
2911 vpid_sync_vcpu_single(vmx->vpid); in vmx_flush_tlb_all()
2921 return to_vmx(vcpu)->vpid; in vmx_get_current_vpid()
3667 int vpid; in allocate_vpid() local
3672 vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS); in allocate_vpid()
3673 if (vpid < VMX_NR_VPIDS) in allocate_vpid()
3674 __set_bit(vpid, vmx_vpid_bitmap); in allocate_vpid()
3676 vpid = 0; in allocate_vpid()
3678 return vpid; in allocate_vpid()
3681 void free_vpid(int vpid) in free_vpid() argument
3683 if (!enable_vpid || vpid == 0) in free_vpid()
3686 __clear_bit(vpid, vmx_vpid_bitmap); in free_vpid()
4201 if (vmx->vpid == 0) in vmx_secondary_exec_control()
4350 if (vmx->vpid != 0) in init_vmcs()
4351 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid); in init_vmcs()
4467 vpid_sync_context(vmx->vpid); in vmx_vcpu_reset()
6807 free_vpid(vmx->vpid); in vmx_free_vcpu()
6823 vmx->vpid = allocate_vpid(); in vmx_create_vcpu()
6908 free_vpid(vmx->vpid); in vmx_create_vcpu()