Searched defs:ipi (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 82 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) in x86_ipi_send_mask()
120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in ipi_send_mask()
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 81 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in ipi_send_mask()
|
| /seL4-master/src/smp/ |
| A D | ipi.c | 113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in generic_ipi_send_mask()
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 59 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) in ipi_send_mask()
|
| /seL4-master/include/smp/ |
| A D | lock.h | 37 word_t ipi; member
|
Completed in 6 milliseconds