diff options
author | dzwdz | 2023-08-14 18:51:07 +0200 |
---|---|---|
committer | dzwdz | 2023-08-14 18:51:07 +0200 |
commit | 642b5fb0007b64c77d186fcb018d571152ee1d47 (patch) | |
tree | 1c466461f3602d306be309a053edae558ef2568e /contrib/stacktrace_resolve.awk | |
parent | 8050069c57b729c18c19b1a03ab6e4bf63b4735e (diff) |
reorganization: first steps
Diffstat (limited to 'contrib/stacktrace_resolve.awk')
-rw-r--r-- | contrib/stacktrace_resolve.awk | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/contrib/stacktrace_resolve.awk b/contrib/stacktrace_resolve.awk new file mode 100644 index 0000000..53d6993 --- /dev/null +++ b/contrib/stacktrace_resolve.awk @@ -0,0 +1,14 @@ +/k\/[0-9A-Fa-f]{8}/ { + print; + while (match($0, /k\/[0-9A-Fa-f]{8}/)) { + addr = substr($0, RSTART + 2, RLENGTH - 2); + if (addr != "00000000") { + printf " "; + system("addr2line -psfe out/fs/boot/kernel 0x" addr); + } + $0 = substr($0, RSTART + RLENGTH); + } + next; +} + +{ print; } |