vmm vmx: Allocate vpids on demand as each vCPU is initialized.
authorJohn Baldwin <jhb@FreeBSD.org>
Fri, 18 Nov 2022 18:04:11 +0000 (10:04 -0800)
committerJohn Baldwin <jhb@FreeBSD.org>
Fri, 18 Nov 2022 18:25:38 +0000 (10:25 -0800)
commit58eefc67a1cf16623c23354efd089f65401c0455
tree6029c8a23814fdc49c20c802e47aad6e41c0a253
parent3f0f4b1598e0e7005bebed7ea3458e96d0fb8e2f
vmm vmx: Allocate vpids on demand as each vCPU is initialized.

Compared to the previous version this does mean that if the system as
a whole runs out of dedicated vPIDs you might end up with some vCPUs
within a single VM using dedicated vPIDs and others using shared
vPIDs, but this should not break anything.

Reviewed by: corvink, markj
Differential Revision: https://reviews.freebsd.org/D37169
sys/amd64/vmm/intel/vmx.c
sys/amd64/vmm/intel/vmx.h