diff options
| author | maxv <maxv@NetBSD.org> | 2019-04-27 09:06:18 +0000 |
|---|---|---|
| committer | maxv <maxv@NetBSD.org> | 2019-04-27 09:06:18 +0000 |
| commit | 71c98139208235ce806d5cfcf5e37b41f0ef88fc (patch) | |
| tree | 8b7240272d873243cd49ed83a43611bf5a62700c /lib/libpthread | |
| parent | c43a2dcbeadac0f31d2804bd251c04d40bb38c12 (diff) | |
If guest events were being processed when a #VMEXIT occurred, reschedule
the events rather than dismissing them. This can happen for instance when a
guest wants to process an exception and an #NPF occurs on the guest IDT. In
practice it occurs only when the host swapped out specific guest pages.
Diffstat (limited to 'lib/libpthread')
0 files changed, 0 insertions, 0 deletions
