How to decode a kernel symbol