Symbol: tlb_asid_wrap