mdb_tgt_vtop
if (mdb_tgt_vtop(mdb.m_target, as, addr, &pa) == -1) {
extern int mdb_tgt_vtop(mdb_tgt_t *, mdb_tgt_as_t, uintptr_t, physaddr_t *);