Symbol: GIC_PRIORITY_MAX