Searched refs:irqPath (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/seL4/src/smp/
H A Dipi.c20 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 Dlock.h61 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 Dipi.h67 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 Dipi.c30 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 Dipi.c32 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 Dipi.c30 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