1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel

This commit is contained in:
Stefan Lankes 2016-08-26 07:06:46 +02:00
commit d544684c99

View file

@ -101,7 +101,7 @@ class HermitPs(gdb.Command):
else:
# find instruction pointer in saved stack
rip_addr = task['last_stack_pointer'] + 20
rip_addr = task['last_stack_pointer'] + 25
rip_val = int(rip_addr.dereference())
# try to resolve a symbol
rip_sym = addressToSymbol(rip_val)