diff options
| author | Radim Krčmář <[email protected]> | 2017-04-26 22:32:26 +0200 |
|---|---|---|
| committer | Paolo Bonzini <[email protected]> | 2017-04-27 14:18:45 +0200 |
| commit | 178f02ffafafc59d4d4b135242e5cc1515743680 (patch) | |
| tree | 4e1addc5b8d3fffd2d14868c72c038d44488ea17 /scripts/gdb/linux/proc.py | |
| parent | cde9af6e79046e12cd08d161139b1d5e57e9fbac (diff) | |
KVM: return if kvm_vcpu_wake_up() did wake up the VCPU
No need to kick a VCPU that we have just woken up.
Signed-off-by: Radim Krčmář <[email protected]>
Reviewed-by: Andrew Jones <[email protected]>
Signed-off-by: Paolo Bonzini <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/proc.py')
0 files changed, 0 insertions, 0 deletions