icpt_insn_decoder
__print_symbolic(icpt_insn_decoder(__entry->instruction),
key->key = icpt_insn_decoder(insn);