Searched refs:ipi_send_target (Results 1 – 8 of 8) sorted by relevance
125 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()
18 void ipi_send_target(irq_t irq, word_t cpuTargetList);
33 #define ipi_send_target apic_send_ipi_core macro
78 void ipi_send_target(irq_t irq, word_t hart_id) in ipi_send_target() function
58 void ipi_send_target(irq_t irq, word_t cpuTargetList);
191 void ipi_send_target(irq_t irq, word_t cpuTargetList) in ipi_send_target() function
347 void ipi_send_target(irq_t irq, word_t cpuTargetList) in ipi_send_target() function
145 ipi_send_target(CORE_IRQ_TO_IRQT(0, irq), BIT(target)); in handleUnknownSyscall()
Completed in 9 milliseconds