Symbol: PG_ASID_SHIFT