> - kernel_insn_init(&insn, kaddr);> +#ifdef CONFIG_X86_64> + is_64bit = kernel_ip(to) || !test_thread_flag(TIF_IA32);Sorry that's wrong. If anything check the code segment(but see other email)-Andi-- ak@linux.intel.com -- Speaking for myself only.