Symbol: PG_ASID_COUNT