Searched defs:sgi_num (Results 1 – 4 of 4) sorted by relevance
407 void gicv2_raise_sgi(int sgi_num, int proc_num) in gicv2_raise_sgi()
227 void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target) in plat_ic_raise_el3_sgi()
225 void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target) in plat_ic_raise_el3_sgi()
1003 void gicv3_raise_secure_g0_sgi(int sgi_num, u_register_t target) in gicv3_raise_secure_g0_sgi()