fix build with VMM_DEBUG option
authorjan <jan@openbsd.org>
Thu, 11 Jan 2024 17:13:48 +0000 (17:13 +0000)
committerjan <jan@openbsd.org>
Thu, 11 Jan 2024 17:13:48 +0000 (17:13 +0000)
commit3aa75afe7a4dcc1358a159ebd7e7beecf2285b4c
tree5209d7af2c57758d313ebd96dddfa1b2654d3f5c
parentfc4be80eaa00c2672f7cc3b30d06915b9b5c0d94
fix build with VMM_DEBUG option

ok dv@
sys/arch/amd64/amd64/vmm_machdep.c
sys/dev/vmm/vmm.h