http://jjz5ajknu5rku4p6xb6i5xwjnp3nd6c3jwi2qnzbpaodyf7g2lja.b32.i2p/support/send-pr.html
To convert a hexadecimal PC value to symbolic reference,
use gdb(1) , in the following way: gdb -k /netbsd
x 0xf80ff430
0xf80ff430 <cpu_reboot+196>: 0x40000093 That "<cpureboot+196>" result from gdb(1) is what the
people who will work on the problem report will need, so put it
(preferably along with the rest of that "args" line) into your
problem report.