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