Searched refs:irq_remote_call_ipi (Results 1 – 13 of 13) sorted by relevance
| /seL4-master/src/smp/ |
| A D | ipi.c | 40 ipi_clear_irq(irq_remote_call_ipi); in ipiStallCoreCallback()
50 handleIPI(CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi), irqPath); in ipiStallCoreCallback()
75 if (IRQT_TO_IRQ(irq) == irq_remote_call_ipi) { in handleIPI()
99 ipi_send_mask(CORE_IRQ_TO_IRQT(0, irq_remote_call_ipi), mask, true); in doRemoteMaskOp()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 184 } else if (irq == irq_reschedule_ipi || irq == irq_remote_call_ipi) { in maskInterrupt()
212 if (irq == irq_reschedule_ipi || irq == irq_remote_call_ipi) { in ackInterrupt()
|
| /seL4-master/include/smp/ |
| A D | lock.h | 78 handleIPI(CORE_IRQ_TO_IRQT(cpu, irq_remote_call_ipi), irqPath); in sel4_atomic_exchange()
112 handleIPI(CORE_IRQ_TO_IRQT(cpu, irq_remote_call_ipi), irqPath); in clh_lock_acquire()
|
| /seL4-master/include/plat/pc99/plat/ |
| A D | machine.h | 58 irq_remote_call_ipi = int_remote_call_ipi - IRQ_INT_OFFSET, enumerator
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 86 … (ipiIrq[core_id] == irq_remote_call_ipi && big_kernel_lock.node_owners[core_id].ipi == 0)); in ipi_send_target()
|
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 92 NODE_LOCK_IRQ_IF(IRQT_TO_IRQ(getActiveIRQ()) != irq_remote_call_ipi); in c_handle_interrupt()
|
| /seL4-master/src/arch/riscv/ |
| A D | c_traps.c | 104 NODE_LOCK_IRQ_IF(getActiveIRQ() != irq_remote_call_ipi); in c_handle_interrupt()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 266 #define irq_remote_call_ipi (INTERRUPT_IPI_0) macro
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 146 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi)); in init_irqs()
267 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi)); in try_init_kernel_secondary_core()
|
| /seL4-master/include/arch/arm/arch/64/mode/ |
| A D | machine.h | 42 #define irq_remote_call_ipi 0 macro
|
| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | machine.h | 81 #define irq_remote_call_ipi 0 macro
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot.c | 39 } else if (i == irq_remote_call_ipi || i == irq_reschedule_ipi) { in init_irqs()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 103 setIRQState(IRQIPI, irq_remote_call_ipi); in init_irqs()
|
Completed in 14 milliseconds