Symbol: e500_free_tlb1_entry