Symbol: VGIC_MAX_RESERVED