Symbol: tlb_record_asids