further speed up delivery of interrupts to a running vcpu.
authordlg <dlg@openbsd.org>
Tue, 8 Nov 2022 19:18:47 +0000 (19:18 +0000)
committerdlg <dlg@openbsd.org>
Tue, 8 Nov 2022 19:18:47 +0000 (19:18 +0000)
commit0d8b5945bad2cf707e51761352bff6611f56316b
treefedf8bd29d54b5be4b80aa3e0b3efef0ea390836
parent81d71f69e5b9384dd69f9186c18e4dff12aff540
further speed up delivery of interrupts to a running vcpu.

this records which physical cpu a vcpu is running on. this is used
by the code that marks a vcpu as having a pending interrupt to check
if the vcpu is currently running. if it thinks the vcpu is running,
it sends a nop IPI to the physical cpu it is running on to trigger
a vmexit, which in turn runs interrupt handling in the guest.

ok mlarkin@
sys/arch/amd64/amd64/vmm.c
sys/arch/amd64/include/vmmvar.h