| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/smp/ |
| H A D | ipi.h | 12 #include <smp/ipi.h>
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/smp/ |
| H A D | ipi.h | 10 #include <arch/smp/ipi.h>
|
| /seL4-test-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 8 #include <mode/smp/ipi.h>
9 #include <smp/ipi.h>
73 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
82 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument
95 big_kernel_lock.node_owners[core].ipi = 1;
103 big_kernel_lock.node_owners[index].ipi = 1;
115 apic_send_ipi_cluster(ipi, target_clusters[i]);
120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
122 interrupt_t interrupt_ipi = ipi + IRQ_INT_OFFSET;
|
| /seL4-test-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 8 #include <mode/smp/ipi.h>
53 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
59 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
62 generic_ipi_send_mask(ipi, mask, isBlocking);
67 assert(!(ipiIrq[getCurrentCPUIndex()] == irqInvalid && big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi == 1));
86 (ipiIrq[core_id] == irq_remote_call_ipi && big_kernel_lock.node_owners[core_id].ipi == 0));
|
| /seL4-test-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 8 #include <mode/smp/ipi.h>
76 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
81 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
83 generic_ipi_send_mask(ipi, mask, isBlocking);
|
| /seL4-test-master/kernel/src/arch/x86/32/smp/ |
| H A D | ipi.c | 8 #include <mode/smp/ipi.h>
|
| /seL4-test-master/kernel/src/arch/x86/64/smp/ |
| H A D | ipi.c | 8 #include <mode/smp/ipi.h>
|
| /seL4-test-master/kernel/src/smp/ |
| H A D | ipi.c | 8 #include <mode/smp/ipi.h>
9 #include <smp/ipi.h>
38 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-test-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
| H A D | tlb.h | 9 #include <smp/ipi.h>
11 #include <mode/smp/ipi.h>
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
| H A D | tlb.h | 9 #include <mode/smp/ipi.h>
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/smp/ |
| H A D | ipi.h | 11 #include <smp/ipi.h>
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/smp/ |
| H A D | ipi.h | 12 #include <smp/ipi.h>
|
| /seL4-test-master/kernel/include/smp/ |
| H A D | lock.h | 14 #include <smp/ipi.h>
37 word_t ipi; member in struct:clh_qnode_p
57 return big_kernel_lock.node_owners[cpu].ipi == 1;
|
| H A D | ipi.h | 12 #include <arch/smp/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-test-master/tools/riscv-pk/machine/ |
| H A D | minit.c | 118 *HLS()->ipi = 1;
120 *HLS()->ipi = 0;
131 *HLS()->ipi = 0;
157 *OTHER_HLS(hart)->ipi = 1; // wakeup the hart
|
| H A D | mtrap.c | 66 *OTHER_HLS(recipient)->ipi = 1;
122 while (*OTHER_HLS(i)->ipi)
123 incoming_ipi |= atomic_swap(HLS()->ipi, 0);
127 *HLS()->ipi = incoming_ipi;
|
| H A D | mtrap.h | 40 volatile uint32_t* ipi; member in struct:__anon669
|
| H A D | fdt.c | 353 hls->ipi = (void*)((uintptr_t)scan->reg + index * 4);
|
| /seL4-test-master/kernel/include/arch/arm/arch/smp/ |
| H A D | ipi_inline.h | 10 #include <smp/ipi.h>
|
| /seL4-test-master/kernel/include/arch/x86/arch/smp/ |
| H A D | ipi_inline.h | 10 #include <smp/ipi.h>
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | hardware.c | 13 #include <arch/smp/ipi.h>
|
| /seL4-test-master/kernel/src/object/ |
| H A D | interrupt.c | 21 #include <smp/ipi.h>
|