mdb_aread
extern ssize_t mdb_aread(void *, size_t, uintptr_t, void *);
ret = mdb_aread(buf, n, addr, (void *)p->p_as);