Home
last modified time | relevance | path

Searched refs:ipi_send_target (Results 1 – 8 of 8) sorted by relevance

/seL4-master/src/smp/
A Dipi.c125 ipi_send_target(ipi, cpuIndexToID(index)); in generic_ipi_send_mask()
134 ipi_send_target(ipi, cpuIndexToID(target_cores[i])); in generic_ipi_send_mask()
/seL4-master/include/arch/riscv/arch/smp/
A Dipi.h18 void ipi_send_target(irq_t irq, word_t cpuTargetList);
/seL4-master/include/arch/x86/arch/kernel/
A Dapic.h33 #define ipi_send_target apic_send_ipi_core macro
/seL4-master/src/arch/riscv/smp/
A Dipi.c78 void ipi_send_target(irq_t irq, word_t hart_id) in ipi_send_target() function
/seL4-master/include/smp/
A Dipi.h58 void ipi_send_target(irq_t irq, word_t cpuTargetList);
/seL4-master/src/arch/arm/machine/
A Dgic_v2.c191 void ipi_send_target(irq_t irq, word_t cpuTargetList) in ipi_send_target() function
A Dgic_v3.c347 void ipi_send_target(irq_t irq, word_t cpuTargetList) in ipi_send_target() function
/seL4-master/src/api/
A Dsyscall.c145 ipi_send_target(CORE_IRQ_TO_IRQT(0, irq), BIT(target)); in handleUnknownSyscall()

Completed in 9 milliseconds