dt_print_mod
return (dt_print_mod(dtp, fp, NULL, addr));
if (dt_print_mod(dtp, fp, NULL, addr) < 0)
return (dt_print_mod(dtp, fp, format, (caddr_t)addr));
extern int dt_print_mod(dtrace_hdl_t *, FILE *, const char *, caddr_t);