DDB_EXPR_FMT
db_printf("add watchpoint %d as %016"DDB_EXPR_FMT"x\n",
db_printf("add breakpoint %d as %016"DDB_EXPR_FMT"x\n",
(*pr)("--- syscall (number %"DDB_EXPR_FMT"u"
(*pr)("--- syscall (number %"DDB_EXPR_FMT"u) ---\n",
(*pr)("--- trap (number %"DDB_EXPR_FMT"u) ---\n",
db_printf("VA %#"DDB_EXPR_FMT"x not found in TLB\n", addr);
db_printf("cpu %"DDB_EXPR_FMT"d out of range", addr);
db_printf("cpu %"DDB_EXPR_FMT"d does not exist", addr);
db_printf("+%#"DDB_EXPR_FMT"x", diff);
db_printf("0x%" DDB_EXPR_FMT "x -> 0x%" PRIx64 "\n", addr,
db_printf("control reg 0x%" DDB_EXPR_FMT "x = 0x%" PRIx64 "\n",
db_printf("control reg 0x%" DDB_EXPR_FMT "x = 0x%" DDB_EXPR_FMT "x\n",
db_printf("<%s+%"DDB_EXPR_FMT"x>", symname, diff);
db_printf("%16" DDB_EXPR_FMT "x", addr);
db_printf("%11" DDB_EXPR_FMT "d", addr);
db_printf("%11" DDB_EXPR_FMT "u", addr);
db_printf("%15" DDB_EXPR_FMT "o", addr);
snprintf(buf, len, "%" DDB_EXPR_FMT "x", val);
snprintf(buf, len, "%" DDB_EXPR_FMT "o", val);
snprintf(buf, len, "%" DDB_EXPR_FMT "u", val);