Searched refs:gic_raise_sgi (Results 1 – 6 of 6) sorted by relevance
| /Zephyr-latest/arch/arm64/core/ |
| D | smp.c | 211 gic_raise_sgi(ipi, target_mpidr, 1 << aff0); in send_ipi()
273 gic_raise_sgi(SGI_FPU_IPI, mpidr, 1 << aff0); in arch_flush_fpu_ipi()
|
| /Zephyr-latest/include/zephyr/drivers/interrupt_controller/ |
| D | gic.h | 358 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff,
|
| /Zephyr-latest/subsys/testsuite/include/zephyr/ |
| D | interrupt_util.h | 95 gic_raise_sgi(irq, mpidr, BIT(aff0)); in trigger_irq()
|
| /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() function
|
| D | intc_gicv3.c | 276 void gic_raise_sgi(unsigned int sgi_id, uint64_t target_aff, in gic_raise_sgi() function
|
| /Zephyr-latest/arch/arm/core/cortex_a_r/ |
| D | smp.c | 247 gic_raise_sgi(ipi, (uint64_t)target_mpidr, 1 << aff0); in send_ipi()
|
