Small correction: those numbers, as produced by klogd, are decimal, not hex.
It's too bad that we have this inconsistency, klogd should probably be modified
to print hex numbers. I know it made we waste quite a bit of time trying to
match them with objdump's hex addresses (of System.map) until I realized they
were decimal.
Ion
-- It is better to keep your mouth shut and be thought a fool, than to open it and remove all doubt.- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/