Home
last modified time | relevance | path

Searched refs:handleIPI (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/smp/
A Dipi.c50 handleIPI(CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi), irqPath); in ipiStallCoreCallback()
73 void handleIPI(irq_t irq, bool_t irqPath) in handleIPI() function
/seL4-master/include/smp/
A Dlock.h78 handleIPI(CORE_IRQ_TO_IRQT(cpu, irq_remote_call_ipi), irqPath); in sel4_atomic_exchange()
112 handleIPI(CORE_IRQ_TO_IRQT(cpu, irq_remote_call_ipi), irqPath); in clh_lock_acquire()
A Dipi.h74 void handleIPI(irq_t irq, bool_t irqPath);
/seL4-master/src/object/
A Dinterrupt.c231 handleIPI(irq, true); in handleInterrupt()

Completed in 7 milliseconds