mdb_autonode2path
(void) mdb_autonode2path(addr, &path);
static int mdb_autonode2path(uintptr_t, mdb_path_t *);