Symbol: tlb1_read_entry