diff options
| author | Paolo Bonzini <[email protected]> | 2015-06-04 10:41:21 +0200 |
|---|---|---|
| committer | Paolo Bonzini <[email protected]> | 2015-06-04 16:01:51 +0200 |
| commit | cd7764fe9f73530b20a0f2310fa753af635fabb3 (patch) | |
| tree | 4a82128e03604182b8501d4df46dbd2cee880db8 /scripts/gdb/linux/utils.py | |
| parent | 64d6067057d9658acb8675afcfba549abdb7fc16 (diff) | |
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ář <[email protected]>
Signed-off-by: Paolo Bonzini <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions