Symbol: XE_MAX_ASID