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 92 milliseconds