Searched refs:sgi_id (Results 1 – 3 of 3) sorted by relevance
| /Zephyr-latest/drivers/interrupt_controller/ |
| D | intc_gic.c | 163 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi() argument
172 sgi_id; in gic_raise_sgi()
|
| D | intc_gicv3.c | 276 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi() argument
282 __ASSERT_NO_MSG(GIC_IS_SGI(sgi_id)); in gic_raise_sgi()
293 sgi_val = GICV3_SGIR_VALUE(aff3, aff2, aff1, sgi_id, in gic_raise_sgi()
|
| /Zephyr-latest/include/zephyr/drivers/interrupt_controller/ |
| D | gic.h | 358 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff,
|
