Symbol: INTC_KIND_GICV2