Searched refs:irqPath (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/seL4/src/smp/ |
H A D | ipi.c | 20 void ipiStallCoreCallback(bool_t irqPath) argument 22 if (clh_is_self_in_queue() && !irqPath) { 50 handleIPI(CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi), irqPath); 73 void handleIPI(irq_t irq, bool_t irqPath) argument 76 handleRemoteCall(remoteCall, get_ipi_arg(0), get_ipi_arg(1), get_ipi_arg(2), irqPath);
|
/seL4-l4v-master/seL4/include/smp/ |
H A D | lock.h | 61 irqPath, word_t cpu, int memorder) 77 * based on value of the 'irqPath'. */ 78 handleIPI(CORE_IRQ_TO_IRQT(cpu, irq_remote_call_ipi), irqPath); local 93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath) argument 98 prev = sel4_atomic_exchange(&big_kernel_lock.head, irqPath, cpu, __ATOMIC_ACQ_REL); 111 * based on value of the 'irqPath'. */ 112 handleIPI(CORE_IRQ_TO_IRQT(cpu, irq_remote_call_ipi), irqPath); local 60 sel4_atomic_exchange(void *ptr, bool_t irqPath, word_t cpu, int memorder) argument
|
H A D | ipi.h | 67 void ipiStallCoreCallback(bool_t irqPath); 70 * in CLH lock. 'irqPath' is used to differentiate the caller path, i.e. 74 void handleIPI(irq_t irq, bool_t irqPath);
|
/seL4-l4v-master/seL4/src/arch/arm/smp/ |
H A D | ipi.c | 30 word_t arg1, word_t arg2, bool_t irqPath) 37 ipiStallCoreCallback(irqPath); 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-l4v-master/seL4/src/arch/riscv/smp/ |
H A D | ipi.c | 32 word_t arg1, word_t arg2, bool_t irqPath) 39 ipiStallCoreCallback(irqPath); 31 handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-l4v-master/seL4/src/arch/x86/smp/ |
H A D | ipi.c | 30 word_t arg1, word_t arg2, bool_t irqPath) 37 ipiStallCoreCallback(irqPath); 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
Completed in 110 milliseconds