DTRACE_PTR
DTRACE_PTR(char, dtbd_data); /* data */
DTRACE_PTR(char, dtagd_name); /* not filled in by kernel */
DTRACE_PTR(char, dtfd_string); /* format string */