Searched refs:irqPath (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/smp/ |
H A D | ipi.c | 26 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 D | lock.h | 70 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 D | ipi.h | 74 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 D | ipi.c | 36 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 D | ipi.c | 36 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