diff options
| -rw-r--r-- | sys/ia64/ia64/db_machdep.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/ia64/ia64/db_machdep.c b/sys/ia64/ia64/db_machdep.c index b60d9d7..6579f3b 100644 --- a/sys/ia64/ia64/db_machdep.c +++ b/sys/ia64/ia64/db_machdep.c @@ -410,6 +410,8 @@ db_disasm(db_addr_t loc, boolean_t altfmt) db_printf(buf); n++; } + if (tmpl[1] == ';') + db_printf(" ;;"); } else { tmpl = NULL; slot = 2; |
