vmm: Fix non-INVARIANTS build
authorCy Schubert <cy@FreeBSD.org>
Fri, 18 Nov 2022 21:20:13 +0000 (13:20 -0800)
committerCy Schubert <cy@FreeBSD.org>
Fri, 18 Nov 2022 21:20:13 +0000 (13:20 -0800)
commitd487cba33d777efb9f6f7d7967ad2eaa629bcb90
tree89fa0282fb0456d02a79620ee81ac597677d16f2
parent74ad8d607ddbd530935524d53cc9f6f9d5517609
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
sys/amd64/vmm/intel/vmx.c