Searched refs:ipi (Results 1 - 16 of 16) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/smp/ |
| H A D | ipi.h | 17 #include <arch/smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/smp/ |
| H A D | ipi.h | 19 #include <smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/src/smp/ |
| H A D | ipi.c | 14 #include <mode/smp/ipi.h>
15 #include <smp/ipi.h>
44 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
121 big_kernel_lock.node_owners[index].ipi = 1;
125 ipi_send_target(ipi, cpuIndexToID(index));
134 ipi_send_target(ipi, cpuIndexToID(target_cores[i]));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/smp/ |
| H A D | ipi.c | 14 #include <mode/smp/ipi.h>
15 #include <smp/ipi.h>
79 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
88 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument
101 big_kernel_lock.node_owners[core].ipi = 1;
109 big_kernel_lock.node_owners[index].ipi = 1;
121 apic_send_ipi_cluster(ipi, target_clusters[i]);
126 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
128 interrupt_t interrupt_ipi = ipi + IRQ_INT_OFFSET;
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/smp/ |
| H A D | ipi.c | 14 #include <mode/smp/ipi.h>
69 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
74 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
76 generic_ipi_send_mask(ipi, mask, isBlocking);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/smp/ |
| H A D | ipi.c | 14 #include <mode/smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/smp/ |
| H A D | ipi.c | 14 #include <mode/smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/ |
| H A D | tlb.h | 16 #include <smp/ipi.h>
18 #include <mode/smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/ |
| H A D | tlb.h | 16 #include <mode/smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/smp/ |
| H A D | ipi_inline.h | 17 #include <smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/smp/ |
| H A D | ipi.h | 19 #include <smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/smp/ |
| H A D | ipi.h | 19 #include <smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/include/smp/ |
| H A D | ipi.h | 19 #include <arch/smp/ipi.h>
56 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
62 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
|
| H A D | lock.h | 21 #include <smp/ipi.h>
44 word_t ipi; member in struct:clh_qnode_p
65 return big_kernel_lock.node_owners[cpu].ipi == 1;
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/smp/ |
| H A D | ipi_inline.h | 17 #include <smp/ipi.h>
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | interrupt.c | 26 #include <smp/ipi.h>
|
Completed in 125 milliseconds