Searched defs:irqPath (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-test-master/kernel/src/smp/ |
H A D | ipi.c | 20 void ipiStallCoreCallback(bool_t irqPath) argument 73 void handleIPI(irq_t irq, bool_t irqPath) argument
|
/seL4-test-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-test-master/kernel/src/arch/riscv/smp/ |
H A D | ipi.c | 31 handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-test-master/kernel/include/smp/ |
H A D | lock.h | 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 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
|
Completed in 41 milliseconds