Searched refs:isBlocking (Results 1 - 9 of 9) sorted by relevance
/seL4-mcs-10.1.1/src/arch/x86/smp/ |
H A D | ipi.c | 88 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument 100 if (isBlocking) { 108 if (isBlocking) { 126 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 131 x86_ipi_send_mask(interrupt_ipi, mask, isBlocking); 133 generic_ipi_send_mask(interrupt_ipi, mask, isBlocking);
|
/seL4-mcs-10.1.1/include/object/ |
H A D | notification.h | 18 void receiveSignal(tcb_t *thread, cap_t cap, bool_t isBlocking);
|
H A D | endpoint.h | 30 void receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking, cap_t replyCPtr);
|
/seL4-mcs-10.1.1/src/arch/arm/smp/ |
H A D | ipi.c | 75 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 77 generic_ipi_send_mask(ipi, mask, isBlocking);
|
/seL4-mcs-10.1.1/src/smp/ |
H A D | ipi.c | 113 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 120 if (isBlocking) {
|
/seL4-mcs-10.1.1/include/smp/ |
H A D | ipi.h | 56 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking); 62 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking);
|
/seL4-mcs-10.1.1/src/api/ |
H A D | syscall.c | 274 handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, cptr_t cptr) argument 294 if (isBlocking) { 307 if (isBlocking) { 320 current_extra_caps, isBlocking, isCall, 369 handleRecv(bool_t isBlocking, bool_t canReply) argument 404 receiveIPC(NODE_STATE(ksCurThread), ep_cap, isBlocking, reply_cap); local 420 receiveSignal(NODE_STATE(ksCurThread), lu_ret.cap, isBlocking); local
|
/seL4-mcs-10.1.1/src/object/ |
H A D | notification.c | 155 receiveSignal(tcb_t *thread, cap_t cap, bool_t isBlocking) argument 166 if (isBlocking) {
|
H A D | endpoint.c | 107 receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking, cap_t replyCap) argument 136 if (isBlocking) {
|
Completed in 47 milliseconds