Searched refs:ipi_send_mask (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/kernel/src/smp/ |
| H A D | ipi.c | 99 ipi_send_mask(CORE_IRQ_TO_IRQT(0, irq_remote_call_ipi), mask, true);
109 ipi_send_mask(CORE_IRQ_TO_IRQT(0, irq_reschedule_ipi), mask, false);
|
| /seL4-camkes-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 81 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) function
|
| /seL4-camkes-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 59 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) function
|
| /seL4-camkes-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) function
|
| /seL4-camkes-master/kernel/include/smp/ |
| H A D | ipi.h | 55 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
|
Completed in 50 milliseconds