Searched defs:ipi (Results 1 - 6 of 6) sorted by relevance
/seL4-test-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) argument
|
/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) argument
|
/seL4-test-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 82 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument 120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
|
/seL4-test-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) argument
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mtrap.h | 40 volatile uint32_t* ipi; member in struct:__anon669
|
/seL4-test-master/kernel/include/smp/ |
H A D | lock.h | 37 word_t ipi; member in struct:clh_qnode_p
|
Completed in 36 milliseconds