Symbol: gicv3_intid_range