http://elinux.org/Addr2line_for_kernel_debugging
[ 88.635314] pc : [<c01b063c>] lr : [<c01b0640>] psr: a0000013
# arm-none-linux-gnueabi-addr2line -f -e vmlinux c01b063c
http://elinux.org/Addr2line_for_kernel_debugging
[ 88.635314] pc : [<c01b063c>] lr : [<c01b0640>] psr: a0000013
# arm-none-linux-gnueabi-addr2line -f -e vmlinux c01b063c