diff options
Diffstat (limited to 'scripts/dump-guest-memory.py')
| -rw-r--r-- | scripts/dump-guest-memory.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/dump-guest-memory.py b/scripts/dump-guest-memory.py index 03fbf69f8a..51acfcd0c0 100644 --- a/scripts/dump-guest-memory.py +++ b/scripts/dump-guest-memory.py @@ -546,6 +546,8 @@ shape and this command should mostly work.""" return None def add_vmcoreinfo(self): + if gdb.lookup_symbol("vmcoreinfo_realize")[0] is None: + return vmci = 'vmcoreinfo_realize::vmcoreinfo_state' if not gdb.parse_and_eval("%s" % vmci) \ or not gdb.parse_and_eval("(%s)->has_vmcoreinfo" % vmci): |