mdb_dvprintf
mdb_dvprintf(MDB_DBG_CTF, format, alist);
extern void mdb_dvprintf(uint_t, const char *, va_list);
mdb_dvprintf(MDB_DBG_PSVC, format, alist);