Searched refs:gicv2_raise_sgi (Results 1 – 4 of 4) sorted by relevance
90 gicv2_raise_sgi(ARM_IRQ_SEC_SGI_0, STM32MP_SECONDARY_CPU); in stm32_pwr_domain_on()
188 void gicv2_raise_sgi(int sgi_num, int proc_num);
250 gicv2_raise_sgi(sgi_num, id); in plat_ic_raise_el3_sgi()
420 void gicv2_raise_sgi(int sgi_num, int proc_num) in gicv2_raise_sgi() function