Searched refs:gicv2_raise_sgi (Results 1 – 4 of 4) sorted by relevance
| /arm-trusted-firmware-2.8.0/plat/common/ |
| A D | plat_gicv2.c | 253 gicv2_raise_sgi(sgi_num, false, id); in plat_ic_raise_el3_sgi()
270 gicv2_raise_sgi(sgi_num, true, id); in plat_ic_raise_ns_sgi()
287 gicv2_raise_sgi(sgi_num, false, id); in plat_ic_raise_s_el1_sgi()
|
| /arm-trusted-firmware-2.8.0/plat/st/stm32mp1/ |
| A D | stm32mp1_pm.c | 90 gicv2_raise_sgi(ARM_IRQ_SEC_SGI_0, false, STM32MP_SECONDARY_CPU); in stm32_pwr_domain_on()
|
| /arm-trusted-firmware-2.8.0/include/drivers/arm/ |
| A D | gicv2.h | 192 void gicv2_raise_sgi(int sgi_num, bool ns, int proc_num);
|
| /arm-trusted-firmware-2.8.0/drivers/arm/gic/v2/ |
| A D | gicv2_main.c | 421 void gicv2_raise_sgi(int sgi_num, bool ns, int proc_num) in gicv2_raise_sgi() function
|
Completed in 6 milliseconds