Searched refs:gicv2_raise_sgi (Results 1 – 4 of 4) sorted by relevance
| /rk3399_ARM-atf/plat/common/ |
| H A D | plat_gicv2.c | 260 gicv2_raise_sgi(sgi_num, false, id); in plat_ic_raise_el3_sgi()
277 gicv2_raise_sgi(sgi_num, true, id); in plat_ic_raise_ns_sgi()
294 gicv2_raise_sgi(sgi_num, false, id); in plat_ic_raise_s_el1_sgi()
|
| /rk3399_ARM-atf/plat/st/stm32mp1/ |
| H A D | stm32mp1_pm.c | 91 gicv2_raise_sgi(ARM_IRQ_SEC_SGI_0, false, STM32MP_SECONDARY_CPU); in stm32_pwr_domain_on()
|
| /rk3399_ARM-atf/include/drivers/arm/ |
| H A D | gicv2.h | 192 void gicv2_raise_sgi(int sgi_num, bool ns, int proc_num);
|
| /rk3399_ARM-atf/drivers/arm/gic/v2/ |
| H A D | gicv2_main.c | 421 void gicv2_raise_sgi(int sgi_num, bool ns, int proc_num) in gicv2_raise_sgi() function
|