diff options
author | Miaohe Lin <[email protected]> | 2019-11-23 10:45:50 +0800 |
---|---|---|
committer | Paolo Bonzini <[email protected]> | 2019-11-23 11:29:17 +0100 |
commit | faf0be22167486feb1ee386f0e819a336e829d0a (patch) | |
tree | 9ea3c92b86eec2d82230a9407b44f4ec63ab354c /scripts/gdb | |
parent | 24885d1d79e2e83d49201aeae0bc59f1402fd4f1 (diff) |
KVM: Fix jump label out_free_* in kvm_init()
The jump label out_free_1 and out_free_2 deal with
the same stuff, so git rid of one and rename the
label out_free_0a to retain the label name order.
Signed-off-by: Miaohe Lin <[email protected]>
Signed-off-by: Paolo Bonzini <[email protected]>
Diffstat (limited to 'scripts/gdb')
0 files changed, 0 insertions, 0 deletions