Symbol: e500_alloc_tlb1_entry