Symbol: INTC_KIND_GICV1