don't keep track of how many vcpus are currently running.
authordlg <dlg@openbsd.org>
Tue, 8 Nov 2022 19:38:34 +0000 (19:38 +0000)
committerdlg <dlg@openbsd.org>
Tue, 8 Nov 2022 19:38:34 +0000 (19:38 +0000)
commitac5b473501b14817a3a8b258d039920182d77529
treefd3cd08d5f23e3da329187b62fd8491778e76400
parent14ee546c3dd49ea091fefee68e50227211d9086e
don't keep track of how many vcpus are currently running.

the number is never read anywhere, and i'm not sure what value that
number has anyway.

mlarkin@ agrees
sys/arch/amd64/amd64/vmm.c