blob: a8254a785f26b64811eaef4069f1de24a4ea7a65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
/k\/[0-9A-Fa-f]{8}/ {
print;
addr = substr($0, match($0, /k\/[0-9A-Fa-f]{8}/) + 2, RLENGTH - 2);
if (addr != "00000000") {
printf " ";
system("addr2line -psfe out/fs/boot/kernel.bin 0x" addr);
}
next;
}
{ print; }
|