Searched refs:gicv3_raise_sgi (Results 1 – 3 of 3) sorted by relevance
| /rk3399_ARM-atf/plat/common/ |
| H A D | plat_gicv3.c | 282 gicv3_raise_sgi((unsigned int)sgi_num, GICV3_G0, target); in plat_ic_raise_el3_sgi()
294 gicv3_raise_sgi((unsigned int)sgi_num, GICV3_G1NS, target); in plat_ic_raise_ns_sgi()
306 gicv3_raise_sgi((unsigned int)sgi_num, GICV3_G1S, target); in plat_ic_raise_s_el1_sgi()
|
| /rk3399_ARM-atf/include/drivers/arm/ |
| H A D | gicv3.h | 585 void gicv3_raise_sgi(unsigned int sgi_num, gicv3_irq_group_t group,
|
| /rk3399_ARM-atf/drivers/arm/gic/v3/ |
| H A D | gicv3_main.c | 1142 void gicv3_raise_sgi(unsigned int sgi_num, gicv3_irq_group_t group, in gicv3_raise_sgi() function
|