Searched refs:gicv2_raise_sgi (Results 1 – 3 of 3) sorted by relevance
180 void gicv2_raise_sgi(int sgi_num, int proc_num);
250 gicv2_raise_sgi(sgi_num, id); in plat_ic_raise_el3_sgi()
411 void gicv2_raise_sgi(int sgi_num, int proc_num) in gicv2_raise_sgi() function