Searched refs:handleIPI (Results 1 – 4 of 4) sorted by relevance
50 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
78 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()
74 void handleIPI(irq_t irq, bool_t irqPath);
231 handleIPI(irq, true); in handleInterrupt()
Completed in 7 milliseconds