dtrace_addr2str
} while ((len = dtrace_addr2str(dtp, val, s, n)) > n);
extern int dtrace_addr2str(dtrace_hdl_t *, uint64_t, char *, int);
rc = dtrace_addr2str(dtp, addr, &dummy, 1);
(void) dtrace_addr2str(dtp, addr, s, rc + 1);