On Thu, Mar 13, 2014 at 3:20 PM, Sasha Levin <sasha.levin@xxxxxxxxxx> wrote:
I'll fix it up and re-send this patch.
The problem (as you will find out) is that "addr2line" doesn't take
symbolic names.
So either addr2line needs to be improved (which really would be a good
idea regardless), or your script needs to use "nm" or "gdb" or
something to first translate the symbol+off into a hex number (which
will not match the kernel-provided hex number when base randomization
is in effect, but it will match the pre-randomized data in the vmlinux
file, so then addr2line would work).