dump_kernel_instr
void dump_kernel_instr(unsigned long kaddr);
dump_kernel_instr(addr);
dump_kernel_instr(panic_addr + kaslr_offset());