kmt_ioread
.t_ioread = kmt_ioread,
extern ssize_t kmt_ioread(mdb_tgt_t *, void *, size_t, uintptr_t);