Searched defs:sgi_id (Results 1 – 2 of 2) sorted by relevance
163 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi()
276 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi()
