diff options
| author | Radim Krčmář <rkrcmar@redhat.com> | 2015-10-08 20:30:00 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-10-14 16:41:08 +0200 |
| commit | 13db77347db175a68edd58a79963cdf5cb3a9607 (patch) | |
| tree | a3541835b34f7e1a5593eee1af2391b4eb7e1b19 /scripts/gdb/linux/utils.py | |
| parent | db2bdcbbbd32e5500b822d5e74ef8b5bd777e687 (diff) | |
KVM: x86: don't notify userspace IOAPIC on edge EOI
On real hardware, edge-triggered interrupts don't set a bit in TMR,
which means that IOAPIC isn't notified on EOI. Do the same here.
Staying in guest/kernel mode after edge EOI is what we want for most
devices. If some bugs could be nicely worked around with edge EOI
notifications, we should invest in a better interface.
Signed-off-by: Radim Krčmář <rkrcmar@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions