Lines Matching defs:vpid
54 module_param_named(vpid, enable_vpid, bool, 0444);
163 int vpid;
211 u32 vpid;
368 return vmx_capability.vpid & VMX_VPID_EXTENT_SINGLE_CONTEXT_BIT;
373 return vmx_capability.vpid & VMX_VPID_EXTENT_GLOBAL_CONTEXT_BIT;
437 static inline void __invvpid(int ext, u16 vpid, gva_t gva)
440 u64 vpid : 16;
443 } operand = { vpid, 0, gva };
523 if (vmx->vpid == 0)
527 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vmx->vpid, 0);
1495 vmx_capability.ept, vmx_capability.vpid);
2457 int vpid;
2459 vmx->vpid = 0;
2463 vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS);
2464 if (vpid < VMX_NR_VPIDS) {
2465 vmx->vpid = vpid;
2466 __set_bit(vpid, vmx_vpid_bitmap);
2476 if (vmx->vpid != 0)
2477 __clear_bit(vmx->vpid, vmx_vpid_bitmap);
2556 if (vmx->vpid == 0)
2782 if (vmx->vpid != 0)
2783 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid);