Searched refs:gicv2_type (Results 1 – 1 of 1) sorted by relevance
216 unsigned int gicv2_type = 0U; in plat_ic_set_interrupt_type() local225 gicv2_type = GICV2_INTR_GROUP0; in plat_ic_set_interrupt_type()228 gicv2_type = GICV2_INTR_GROUP1; in plat_ic_set_interrupt_type()235 gicv2_set_interrupt_type(id, gicv2_type); in plat_ic_set_interrupt_type()