diff options
author | Jan Kiszka <jan.kiszka@siemens.com> | 2008-11-24 12:26:19 +0100 |
---|---|---|
committer | Avi Kivity <avi@redhat.com> | 2008-12-31 16:55:47 +0200 |
commit | 264ff01d55b456932cef03082448b41d2edeb6a1 (patch) | |
tree | 7b660410647d36dac8abe94dd4721361b033a035 /include/linux | |
parent | defaf1587c5d7dff828f6f11c8941e5bcef00f50 (diff) |
KVM: VMX: Fix pending NMI-vs.-IRQ race for user space irqchip
As with the kernel irqchip, don't allow an NMI to stomp over an already
injected IRQ; instead wait for the IRQ injection to be completed.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions