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

/seL4-l4v-10.1.1/seL4/src/smp/
H A Dipi.c26 void ipiStallCoreCallback(bool_t irqPath) argument
28 if (clh_is_self_in_queue() && !irqPath) {
53 handleIPI(irq_remote_call_ipi, irqPath);
76 void handleIPI(irq_t irq, bool_t irqPath) argument
79 handleRemoteCall(remoteCall, get_ipi_arg(0), get_ipi_arg(1), get_ipi_arg(2), irqPath);
/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h70 irqPath, word_t cpu, int memorder)
80 * based on value of the 'irqPath'. */
81 handleIPI(irq_remote_call_ipi, irqPath);
91 clh_lock_acquire(word_t cpu, bool_t irqPath) argument
96 prev = sel4_atomic_exchange(&big_kernel_lock.head, irqPath, cpu, __ATOMIC_ACQUIRE);
109 * based on value of the 'irqPath'. */
110 handleIPI(irq_remote_call_ipi, irqPath);
69 sel4_atomic_exchange(void* ptr, bool_t irqPath, word_t cpu, int memorder) argument
H A Dipi.h74 void ipiStallCoreCallback(bool_t irqPath);
77 * in CLH lock. 'irqPath' is used to differentiate the caller path, i.e.
81 void handleIPI(irq_t irq, bool_t irqPath);
/seL4-l4v-10.1.1/seL4/src/arch/arm/smp/
H A Dipi.c36 word_t arg1, word_t arg2, bool_t irqPath)
43 ipiStallCoreCallback(irqPath);
35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c36 word_t arg1, word_t arg2, bool_t irqPath)
43 ipiStallCoreCallback(irqPath);
35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument

Completed in 84 milliseconds