Searched refs:ipi (Results 1 – 12 of 12) sorted by relevance
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 73 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0; in handleRemoteCall()
82 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) in x86_ipi_send_mask() argument
95 big_kernel_lock.node_owners[core].ipi = 1; in x86_ipi_send_mask()
103 big_kernel_lock.node_owners[index].ipi = 1; in x86_ipi_send_mask()
115 apic_send_ipi_cluster(ipi, target_clusters[i]); in x86_ipi_send_mask()
120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in ipi_send_mask() argument
122 interrupt_t interrupt_ipi = ipi + IRQ_INT_OFFSET; in ipi_send_mask()
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 53 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0; in handleRemoteCall()
59 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in ipi_send_mask() argument
62 generic_ipi_send_mask(ipi, mask, isBlocking); in ipi_send_mask()
67 …etCurrentCPUIndex()] == irqInvalid && big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi == 1)); in ipi_get_irq()
86 … (ipiIrq[core_id] == irq_remote_call_ipi && big_kernel_lock.node_owners[core_id].ipi == 0)); in ipi_send_target()
|
| /seL4-master/src/smp/ |
| A D | ipi.c | 38 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0; in ipiStallCoreCallback()
113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in generic_ipi_send_mask() argument
121 big_kernel_lock.node_owners[index].ipi = 1; in generic_ipi_send_mask()
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()
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 76 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0; in handleRemoteCall()
81 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in ipi_send_mask() argument
83 generic_ipi_send_mask(ipi, mask, isBlocking); in ipi_send_mask()
|
| /seL4-master/include/smp/ |
| A D | lock.h | 37 word_t ipi; member
57 return big_kernel_lock.node_owners[cpu].ipi == 1; in clh_is_ipi_pending()
|
| A D | ipi.h | 49 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
55 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
|
| /seL4-master/src/arch/x86/32/ |
| A D | config.cmake | 22 smp/ipi.c
|
| /seL4-master/src/arch/x86/64/ |
| A D | config.cmake | 22 smp/ipi.c
|
| /seL4-master/src/ |
| A D | config.cmake | 40 src/smp/ipi.c
|
| /seL4-master/src/arch/riscv/ |
| A D | config.cmake | 102 smp/ipi.c
|
| /seL4-master/src/arch/arm/ |
| A D | config.cmake | 242 smp/ipi.c
|
| /seL4-master/src/arch/x86/ |
| A D | config.cmake | 388 smp/ipi.c
|
Completed in 12 milliseconds