vmm: Fix non-INVARIANTS build
Reported by: O. Hartmann <freebsd@walstatt-de.de>
Reviewed by: jhb
Fixes: 58eefc67a1cf
Differential Revision: https://reviews.freebsd.org/D37444
(cherry picked from commit d487cba33d777efb9f6f7d7967ad2eaa629bcb90)
Description
Description
Details
Details
- Provenance
cy Authored on Nov 18 2022, 9:20 PM jhb Committed on Jan 26 2023, 10:06 PM - Reviewer
- rG58eefc67a1cf: vmm vmx: Allocate vpids on demand as each vCPU is initialized.
- Differential Revision
- D37444: Fix non-INVARIANTS builds following 58eefc67a1cf
- Parents
- rG4aded963cdce: vmm: Trim some pointless #ifdef KTR.
- Branches
- Unknown
- Tags