Searched defs:isBlocking (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-master/seL4/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-l4v-master/seL4/src/smp/ |
H A D | ipi.c | 113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
|
/seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/src/object/ |
H A D | notification.c | 162 void receiveSignal(tcb_t *thread, cap_t cap, bool_t isBlocking) argument
|
H A D | endpoint.c | 127 void receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking, cap_t replyCap) argument
|
/seL4-l4v-master/seL4/src/api/ |
H A D | syscall.c | 366 static exception_t handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, bool_t firstPhase, cptr_t cptr) argument 510 static void handleRecv(bool_t isBlocking, bool_t canReply) argument 549 receiveIPC(NODE_STATE(ksCurThread), ep_cap, isBlocking, reply_cap); local 552 receiveIPC(NODE_STATE(ksCurThread), lu_ret.cap, isBlocking); local 569 receiveSignal(NODE_STATE(ksCurThread), lu_ret.cap, isBlocking); local [all...] |
Completed in 93 milliseconds