Searched refs:gicv3_irq_group_t (Results 1 – 2 of 2) sorted by relevance
362 } gicv3_irq_group_t; typedef585 void gicv3_raise_sgi(unsigned int sgi_num, gicv3_irq_group_t group,
1142 void gicv3_raise_sgi(unsigned int sgi_num, gicv3_irq_group_t group, in gicv3_raise_sgi()