dbmd_print_insn
int dbmd_print_insn(uint32_t, vaddr_t, int (*)(const char *, ...));
if (dbmd_print_insn(kdbpeek(loc), loc, db_printf)) {
dbmd_print_insn(kdbpeek(loc), loc, db_printf);
dbmd_print_insn(insn, 0, printf);
dbmd_print_insn(insn, pc, printf);