diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2015-06-04 11:41:21 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-06-04 17:01:51 +0300 |
| commit | cd7764fe9f73530b20a0f2310fa753af635fabb3 (patch) | |
| tree | 4a82128e03604182b8501d4df46dbd2cee880db8 /include | |
| parent | 64d6067057d9658acb8675afcfba549abdb7fc16 (diff) | |
| download | linux-cd7764fe9f73530b20a0f2310fa753af635fabb3.tar.xz | |
KVM: x86: latch INITs while in system management mode
Do not process INITs immediately while in system management mode, keep
it instead in apic->pending_events. Tell userspace if an INIT is
pending when they issue GET_VCPU_EVENTS, and similarly handle the
new field in SET_VCPU_EVENTS.
Note that the same treatment should be done while in VMX non-root mode.
Reviewed-by: Radim Krčmář <rkrcmar@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions
