Lines Matching refs:vpid
66 module_param_named(vpid, enable_vpid, bool, 0444);
526 int vpid; member
863 u32 vpid; member
1039 return vmx_capability.vpid & VMX_VPID_EXTENT_SINGLE_CONTEXT_BIT; in cpu_has_vmx_invvpid_single()
1044 return vmx_capability.vpid & VMX_VPID_EXTENT_GLOBAL_CONTEXT_BIT; in cpu_has_vmx_invvpid_global()
1198 static inline void __invvpid(int ext, u16 vpid, gva_t gva) in __invvpid() argument
1201 u64 vpid : 16; in __invvpid() member
1204 } operand = { vpid, 0, gva }; in __invvpid()
1342 if (vmx->vpid == 0) in vpid_sync_vcpu_single()
1346 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vmx->vpid, 0); in vpid_sync_vcpu_single()
3068 vmx_capability.ept, vmx_capability.vpid); in setup_vmcs_config()
4186 int vpid; in allocate_vpid() local
4188 vmx->vpid = 0; in allocate_vpid()
4192 vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS); in allocate_vpid()
4193 if (vpid < VMX_NR_VPIDS) { in allocate_vpid()
4194 vmx->vpid = vpid; in allocate_vpid()
4195 __set_bit(vpid, vmx_vpid_bitmap); in allocate_vpid()
4205 if (vmx->vpid != 0) in free_vpid()
4206 __clear_bit(vmx->vpid, vmx_vpid_bitmap); in free_vpid()
4574 if (vmx->vpid == 0) in vmx_secondary_exec_control()
4805 if (vmx->vpid != 0) in vmx_vcpu_reset()
4806 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid); in vmx_vcpu_reset()
9327 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid); in prepare_vmcs02()