Searched refs:generic_ipi_send_mask (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 83 generic_ipi_send_mask(ipi, mask, isBlocking);
|
| /seL4-test-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 62 generic_ipi_send_mask(ipi, mask, isBlocking);
|
| /seL4-test-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 127 generic_ipi_send_mask(interrupt_ipi, mask, isBlocking);
|
| /seL4-test-master/kernel/src/smp/ |
| H A D | ipi.c | 113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) function
|
| /seL4-test-master/kernel/include/smp/ |
| H A D | ipi.h | 49 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
52 * its own arch_ipi_send_mask() or using the generic_ipi_send_mask() function
|
Completed in 38 milliseconds