Home
last modified time | relevance | path

Searched refs:gicv3_irq_group_t (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-3.7.0/include/drivers/arm/
Dgicv3.h361 } gicv3_irq_group_t; typedef
584 void gicv3_raise_sgi(unsigned int sgi_num, gicv3_irq_group_t group,
/trusted-firmware-a-3.7.0/drivers/arm/gic/v3/
Dgicv3_main.c1122 void gicv3_raise_sgi(unsigned int sgi_num, gicv3_irq_group_t group, in gicv3_raise_sgi()