Re: How to decode a kernel symbol