Searched defs:irqPath (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/arm/smp/ |
H A D | ipi.c | 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/smp/ |
H A D | ipi.c | 26 void ipiStallCoreCallback(bool_t irqPath) argument 76 void handleIPI(irq_t irq, bool_t irqPath) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/ |
H A D | ipi.c | 35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-l4v-10.1.1/seL4/include/smp/ |
H A D | lock.h | 91 clh_lock_acquire(word_t cpu, bool_t irqPath) argument 69 sel4_atomic_exchange(void* ptr, bool_t irqPath, word_t cpu, int memorder) argument
|
Completed in 92 milliseconds