Home
last modified time | relevance | path

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

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

Completed in 6 milliseconds