mdb_devinfo2statep
extern int mdb_devinfo2statep(uintptr_t, char *, uintptr_t *);
extern int mdb_devinfo2statep(uintptr_t, char *, uintptr_t *);
if (mdb_devinfo2statep(paddr, strbuf, &statep) != -1) {
if (mdb_devinfo2statep(dip_addr, drv_statep,