mdb_pread
extern ssize_t mdb_pread(void *, size_t, uint64_t);
rbytes = mdb_pread(buf, nbytes, mdb_get_dot());
if (mdb_pread(&pte, sizeof (pte), pte_addr) != sizeof (pte)) {
if ((mdb_pread(&buf, mmu.pte_size, paddr)) == mmu.pte_size)
len = mdb_pread(&pte, mmu.pte_size,
len = mdb_pread(&pte, mmu.pte_size,