strdisasm
": %s", strdisasm(tf->tf_pc, tf->tf_spsr));
le32toh(*insn), strdisasm((vaddr_t)insn, 0));
le32toh(*insn), strdisasm((vaddr_t)insn, 0));
strdisasm(tf->tf_pc, tf->tf_spsr));
strdisasm(tf->tf_pc, tf->tf_spsr));
const char *strdisasm(vaddr_t, uint64_t);