Home
last modified time | relevance | path

Searched refs:gicv2_raise_sgi (Results 1 – 4 of 4) sorted by relevance

/trusted-firmware-a-3.4.0/plat/st/stm32mp1/
Dstm32mp1_pm.c90 gicv2_raise_sgi(ARM_IRQ_SEC_SGI_0, STM32MP_SECONDARY_CPU); in stm32_pwr_domain_on()
/trusted-firmware-a-3.4.0/include/drivers/arm/
Dgicv2.h188 void gicv2_raise_sgi(int sgi_num, int proc_num);
/trusted-firmware-a-3.4.0/plat/common/
Dplat_gicv2.c250 gicv2_raise_sgi(sgi_num, id); in plat_ic_raise_el3_sgi()
/trusted-firmware-a-3.4.0/drivers/arm/gic/v2/
Dgicv2_main.c420 void gicv2_raise_sgi(int sgi_num, int proc_num) in gicv2_raise_sgi() function