Home
last modified time | relevance | path

Searched defs:sgi_id (Results 1 – 2 of 2) sorted by relevance

/Zephyr-Core-3.5.0/drivers/interrupt_controller/
Dintc_gic.c138 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi()
Dintc_gicv3.c267 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi()