dtlb_rd_entry
cti.reader = dtlb_rd_entry;
void dtlb_rd_entry(uint_t entry, tte_t *tte, uint64_t *va_tag);