Symbol: APICID_MAX