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 40 milliseconds